SQLite format 3@ .;  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 BB;+ ,$$ ]S]Quick_Sort_Cost:threads=4elapsed=14.830cpu=55.896gc=2.056factor=3.777zXZִF! !]ŗXf1-q恈͐7ӺV7VU ۷֙M54;D@RJރDVM СFo98} Mxfos Gn}G['&Ww06}1#195v354s4 H jTLti~@1J}PLdM٪O Gd2qǍטE*oV0ɫFyn݃":N|[²Sj`1]˨+F۔.r_[L#_]M?+3N8`a W^ɉ@XNsTrfdg"E!igYZ7zXZִF! jiI]ŗXi%L I쑆ahu+!>;ak9sq K iB qbmܺьZ/[q/K239w!{Xvdf,_dn'$#lɊwBf!+sC*u˹y ^W*njdT VRK7X*cR9-LJԼ1K\ۚ6\ c{qs먫<̈́x6 - ;tፓ+ 38V,=*v+BxVqFG;c,Sil]ppm%O|ZBE.A)Uzn-Wu~ג]riƴ$V(0Vv`> PX{dQɠv0 FSgGKcI= 4#<8HBySMU#8u) pZbMS>1 GTyp\[|Hw>*jCtT /b ܫj?ǘf2nJC?4dxi"I6}yӒ:܊5e `?osKE)sV'YaRyqG} ;W;w IM)?k=Ŗ(q18|í@ēJc\Trv}GCM 2R'+He.=!uRYO$WamϩlEx5P)et$kx/ `f v]RΊKCJh[\VS*&SeqfZ̏ld#_b1, )R]EwrYg} 2N] Z ?t DJ}j[m)~ώ#/iE{d']Ḡp B:[툖 ڇ!Ɨ)sŌ }ݺ!kH+c4DAnhpGW>( "ώ]P=O6mun4;b >- ܗ(fY~nSj̩-rP/cw&\i(rJMPNn4ʎ(;&Q