SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 --P' L$ ]]List-Infinite:threads=4elapsed=13.739cpu=50.924gc=2.296factor=3.717zXZִF! ]ŗXf[&!9s`|kK4CQ.Ia Y<]F#tڿgʱ}=f: d7tb*vPl񩾆sma_W2VQ H`sQKqLKܣY#T]\s[&~[cyDz*\G1(BRH|Mfzn†\obzP9zRsbp?30؋v֢Ԝr@*B*YJ.̨ RЦwHj1g!Dfw~OL}Ȑ8¢A2嫗 Ѩ_<ȉdbO9v8[K_R}xf$pv#Mj癮v"E]xd]jGkCuYWJ'ې5KxjÎ'b~%g@?wEt<N$ sIo`,d1.zBgYZ7zXZִF!  ]ŗXiɟFTq7`T9t!VvMn2Eڈ2!f/ C5+8k3"&SL ϛ~Q]Cn}fhkj6~aQEi?Dl2)A 7uA}byCڵqrIY's%`G^*ûxS[QQ.ĿZJ1~f:8U SG꺎3rHlugYZ7zXZִF! p<]ŗXi%Eb⬝3;xpJȸE߀ o+hfB`Vܛc%\JDB &Om@Ɲƙr`L;ҏ&UUNP>Uz4w#VS੺(ٟ_:L:GM5"<0a)&sJ"LT<Z4*>kJЎy([ةCY{!mQˍ (CkuҊGnJ-1${4&~3=CՌW%T^@Nr`qlЪSNn\G0LשȡFٶm,߯t; ݛr=Hyf5J/(|k>Lq)by&#iVQ&9έfDRyNBļ-]%D19V1UWAF=d+q-q 7Q_N ǯZMZl"ԹV}IA͉~9`2)X.i,/Ѓ"KCża}n&sbԵBÂ˔`,%-q`,ZaK3w4Z"e!nU7CL%8 1[[ˌ%7>6G.JerLpo'v o>8,bgH]"x5YJ#!}*c2 Bt aOQ'l.Y'"qp|_X}*ʀXk<6G߷F )DhS 5M8 !&hfxM2*bu=n{5){}e<_XeH<.4$VgoHYY)_yhГ!UG'bA{Rc鈝rWدQXhU[gYZ5d0d3a2a383abd1e676c7d3aea13fbe6f74841dc87d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 5cd5e5862c7bf9500dffe2baa45af19637eaf1103dab1634de73b65e9f8cd2304089df676132d04a ' List-Infinite