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  ) l S/ FunWithTilings:threads=2elapsed=22.579cpu=43.368gc=0.232factor=1.927zXZִF! ]ŗXf1-/6vRZ#q$-RR s(|CdGe%-?FZDlټ3_396+@ \j͈C|pg [rA:#3 Eִx&ْ" GqRF7 RSoW[#_c3 h0Ժ@R3# paQہ*l(Cdp({ s҄NR1\#G[.o~w2+`fЛaY^$v#\Z聽 pu & W.\Eo@>#_g+i,X_n^kׇzAgu6;NS/=DVh/_t2mj>+p%3&b`}01Tf_ ƪ>M/1r-h]kǧj%]dzx\q ֱN 4Ut6.MaBrlq F7 Cw8qT,LnNvßxa̸1B;QKTtf]Q%=k9[2I#z'?.*5%XFMQ[%Xaeq 'cwDFizZoa}vIu:?N¸-fT@xEX3gsȘ*g OT:P:{j V  c)$boڋrUck_xo3@WYw!>9mT 8B$2rdqCO T_7v$+Xa`OD=Jg-SlMY4)pVࡇ+N]jDl06ͩZBIj # wzn £%/ Dsb`~g_&W,oQeI#d_a"'Vs~iqki 8־7敹qhT[M#ۯ#[0>#-?huNKvEBV;j +7gYZ65384518925f4821a3bac1385e15208197b717b8 92998bf5fbe9a3a928a920a635dbd205dde49b3a 929a6bf413193ab3ba47df98e4fa1c70b35c8ed0 a59109d2ca341d125311a74e38b48df10164a0529711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 ) FunWithTilings