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 RR+ T$d ]/ FinFun:threads=4elapsed=6.458cpu=12.228gc=0.308factor=1.897zXZִF! n"]ŗXf1-q恈͐7ӺV }"cXH?c;MՀYxs!7wgJ&ؙ_d̖ú(pL$?դͥ(!D:04^q ;D"%^Uۈ2X H.(t ^'?]nGiS9 ŋi5M+n)҃KRX74m5B :CGT[ pǎa)#K,LG7COn"䔿W4˸nZgYZ7zXZִF!  ]ŗXiɟ1˦r*6ѷuVBm+Cz#!5 HPg9);`PLsZOL؉ewOH;²5:vR: e wGS;jԴӅm!aNe)gYZ7zXZִF! : l]ŗXi%Ggfx2 ۗh#"6[&BPU1U([)*ٮ|gb}:Q;Sj0rL5chda`ǚZ {\zJ4/%; f,pVy!L +n޾t8p"bsW>dqg^eR}sŇ(u2tG _#mg*/ɀs@Odc'=%ƽ75=AUE jN,DQG[nEy-\5MxI|o/48tKY [Y:*?YϮ%pw14I\N=s xTGS _rr oln˾U vp[\P?8䖉pϾtu.aU-qxpE 9[|EMSU qD_Ȣ V9T^@ QwEiK!c,eK|:f_8(sfir6b8)y0̯sBAgrͻfjR`H&!kcK`[qwxEܪ@jpF V6غ"<Ѽ1+pJ9i s0J2  *h=*[ dڳOP)4]qcӱ(N|oQr)x#zkYM 7%KoR#EFcs`Q l"@/&dNM9j:ʖ씼Fz{ aobgU2y8u9hȹ7@X |{Q+? {|K. N`ܥYMc8HCf7B&(R'Vox(ڼM/߻1/So[9+W$41ABF{ºb7U"0y"HiRUiXC(evk9DRw Zk%؊v@?$YrPN0`વds2_vu'{XĔbšp6 tʶgYZ40e02ca7a4cec081a3ba9e000cf76a9ca8f594eb1795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b   FinFun