SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 00A3 |t S/ Impossible_Geometry:threads=2elapsed=9.687cpu=16.788gc=0.440factor=1.737zXZִF! P7]ŗXf1-/6vRZ4&L LN֏fB ۇrO&c ӖM=ߍiQJ[tArdN@ώckNZGq9V%W=8N_CIVAo99z<$XP"rƯcFYf7mL$[:2X}N^\Tʑ\)\KZ#&Z Nx|K|ٱ84Bdu=V8;Aˑ7|ILs=#lxICrfԑv!P[&./_̀RɆT'[H3N_3b(3,/VTWRR 2y25$.43OvPȪT K`,"A J`8+"{Zc>zdSLdR(2?W5 *BT|3 gC(+$~ב绉Op=fzWIs悔וvDO-45e:P6Pո#W.)D~yv"nnGphrl HNkgp}{lL?+O*d~77 4V4|fc 11.䷩H y0 $3Q3c5eN D`ԫlmS2fWM ;gH=-!<;'eڠphj e[;i*`kX ]ݵ ᕏ{46fogNZ rYkUǔ1zAI*3jRG@-2 1TgYZ7zXZִF! 8&]ŗXi%DQH?qi"U "=*Ț(d0+gj=v& Txf%,vdHИ$9(ww"eSO4w;$ 7YK,S6kPfH "b[ D?dSi߹t2S=^ZCTŸ.Kj<* ^Ixs J#(: