SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 3 $T ]S Decreasing-Diagrams:threads=2elapsed=22.997cpu=39.596gc=0.852factor=1.727zXZִF!  ]ŗXf1-/6vRZs88.Ì[rI,lM 'kY-<Sa½ FK4h5867ednS@Dڢ%Pgxwa [K!`C_hKe x RܧMABk=!)YR]Ӳj>Fh; Zד6C:oM=" BSeO` ǮJEi}6aK6\T_OooP݂Y<1?3;ݛ 7U1tG6ژxM0½R{gjb4&50D o2KpE7*ne}d?q1[!!JXW墺Ý^ & HՎ< qRKI L 9+UqCJI;qao1(Q21yVtXv7֜>#2o`//nv 8u»K>d,0 }й[ buJu _ @"-d{ȴ>d( O3L(N6˴O vָAp%&nw-kWiך R_n$ؙB%ݫ9{Q`ZO*HLWO"jEwe!EíUc7ҞP,Ju_eZk j}dֹ*;We*OԵt[nMfW΢cԑuZ˨B;97jƐSSQs,B(4?v>h4݅ŋV7mb?F9R1;);o#fWAi颪!<꯾cjٳnD). ݡ.Vgy N;XoMe oε{Pϣ E؄ ޿m `(=΄.s zr\$,[5ssq+HDW0;؃»{4-m2w @lHyBefqAʋ?c"pAQW?˱}h69oB8qLMn& -]4k౲l?;U w"EEI޽~t o$ fD7)o:2edDl^0ڇWp:z5cERc:uX3tc)D.x #5Mc- 5NjIݝ 4:4}/WtIx dVɚ ںx{Xqӻ jUh7s|.47NQEY=g#A`o4 .}HfE;P̭(Iۻ .0Tar.=bؖ+Pqtt^đBH8 k l"S3]$U|Fb[B7//\-a6Q0Z'9ښy()- дȚ3a`x%DR Ϡ5^:[Ӈx*ĕu.bʼ  G}qigYZa4c5f0e1330aaf98254a232288ac2b49d4b00612e003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 51bca5798766ae8b6082d8e3253d02652fec4031 b11608f1c895e00cebfc586d33b531465e7353e7 3 Decreasing-Diagrams