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 5 t4 E ZF-UNITY:threads=6elapsed=5.173cpu=25.404gc=0.868factor=4.917zXZִF! dx 4]ŗXf1-WHIkWxXr:y?@gpIhmxKɃUȪDtDѱGHO${zd]>sIYDZ_xBi B@%a$Y\I!<12-$z |rwȉ PNq^?LquSB;Ey3b \$dәnY<ƕN=状qjjܱ5/:pG-*gEB !U chJ˗ǽIG^BIlARFs    ZF-UNITYQg wC!| ڔU)f.'u< oV _oBirbev"w7;2g `$?&,!.צ VQmB(o'|>DaC=[N}">GA e9p6o&d7eeW:cxIU >¶xW3\&rظ+ŝ*m\\0l6-n"SW:Wy`ަ#lhSnR kRy?U ?C"_Ϧ 6A0 D\\0zcfD2udOQ _dAaq-fC\x,+b`F׫9YNQ^[Щ]5i3LsaيKKIPږ=Mƌ9vF42"V]7v=*T += 2 ;wuЎ:9zU=prp+Q}h8iq ]?Hv]lDiXRr|tsIIIMv!0!Ѳ3\ht#GsXi}REdww 6Ck{ͭy LzY[#8(= E ZVgt'MSB^4"-%٠m`;ސuѧp=Z"$u?B!,eD-+z'x%=ED)V|l3|ΦJ]gL iŔe]hRԩхL af\ zX&~q'ю'\ a;D1 `:']M/AAtvas6:u?lU9$s|*1: WD.f_\l u{ וCVÍth!XސH"-XTJ40xQENOsYKK+YZ2-qwK=5*n:hWQ~IJM;KVoW.2☴űI4w[i jϭw,HR{6J>m^ ~~j?obdS@fB3^x7O:GIGxnr= X*A D$RvnT=Յ| -7<XՋxx%(E]*Q6sDi^So-Dg":NYqle)0;8>y"zbeeݔG+]ZɊ,]aThLu^ū#w!*-J¼*d TK)1wk#@Q]҉ökHρȦ4|iUI08rAT[ u{ =}%{t8 Bxږ: f2.,K`V|aK\F.d3L>MA|ЛØ 1_Qy}>_ rs/( KHóϤ1/N`v*3]1Yjy Q֚/,T]O,|R3\/g^zQfS[CJohInnO3hgYZ0132b4851e2517caf08125d7cf10f3d657441b9e 0d18d96e673435151db9707a297874c8fb804e62 1468f0080b3e8303414ad73074621dfe5e79ce25 18dcecb77cd10fe58091ddb81c34192d228ac636 1de571610dd535d91aec3c0e4179958f706b06fe 27af5c70403d5039ab231e24bd6c7ce3ec57bdb4 3b6c17f313ce40de3148494638fe849b3ec91a82 3be1dff01d0f0eb700918766781c5d4fe9c54098 3be8095f7616207514b45f0c041e6900cd6a557b 411eccd1df10386bcd400c0819356d29a26339ba 47cddd16f693246e87962aea87bda5bb5c96e680 4ab183dad94d71bcbd8473aa7f61c93e3e4ec11b 52f301bef6110b3e25e3a129358cfd1b3bf296ca 5af7d7a72a075673330ca6ffcc8980c465f3ca99 86559328478a95db06fd450490a17b65ef89e186 93a63257b51dd919f23a6b17972c57c7adf95a94 a266815dcc527e19a8e41ed5e66590b3fb62978f a64b4980f3dbb344cf640cfad0060b6b1377feb3 b1b8e5bbe1248a480e021caa2a4541c23708b664 b9d148a9f6c5836a008abfd948ad3f087da46948 bd5cb36b5b5d1e74122cce58eef23dcd9b344f26c90763e5323c8c923883e8df2f636567e1947d8b 9ba02feca37b5e9ba5d014e6b1bb06241092790b 9912627e5b116158b78191eaf962ff069f46eab4