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 vv  ]% RSAPSS:threads=4elapsed=16.378cpu=54.228gc=1.652factor=3.317zXZִF! "]ŗXf[&$'ٙ]Z}_8K&,WrCD6\C77S \X[G$.l8zrcF QCՋ%ʳWV~5 >˭!tr6l(.mIgOרi>jaٔ"( "g:AU*_웠,OИ@ #hq3JJsZ%{0y;BvrT|BִB 3uʬX0=vR S*@~lAEv:j נA!KO[[k>Ƴ}YD7-ãP쏀id%G$/_ 5̍O;zFjէvz"7N+~bNasE{m$+Z #NXy܆+ЏRl^ WyFtQ`Ԝ q&DꇪRD1|'L^ȺyUju~p '}OTMm;́4_8]ǰD;YFNK [C҂])eҮE[ފ-} :Mfڽ+xFa:KIJKjOQ Kp= Tm(#|_cSC7?Ru0%j6xRźh]dnYWIX2@f@iTsVyvu7(/s3efdI!`0 zgYZ7zXZִF! 3]ŗXiɟG@~W/o&l{1imskR;A=HGumH})Sv#ض.a/g$.eH]J!)T&< eZSd"+C'e tΙS҄>?nсJ9IFb,IÄ 5N'_x"%[5tL<;zhۨB@Xe_sj/ke I0T8ñgYZ7zXZִF! r{]ŗXi%G̉S\$s<۵0MҹŘ\? LT8jM$o=l؆G3p9)K߲P0; >@blr V|aBY6L!8+ZV^U= l=cAcZ o|0]@[[npm(F?ctz[8wHO -ɶ Doc9 gd'L`ԙoX(%s}VPnRttd,!rB?/42)i8$lۧN0%']P{fwQٜRf&?* oEeTJd ISg{|0De4/d~RU+cȴjm3tmV H>'h> į٦ ϳ=npәӯa9Gvb s"tT ep6(/+b=ӊrjfmō[4RDBFU8<-?3HP4r+jAkn *9w1zh^˓'ЄHqԄ~ <& )lP~\ac (+4bѻ5%x~A{['uڢD |ՆPFh;k/ p0õ]D˿0Ӷ:V#;$Ayr˪-'u^oϓ cRN;hkO]pN\ Z+\XeO?&)R0XX`Ux0;7_`SCDz xղҳV4?3xRlp']hzz$*U;2p-.y= rkm*gjz5]7/DRy]$\ 烬>|Ws1g&34Z2/NiV܎ H[Ӭ3*r` rm4/eDOcS=z՟ފ˗xʜMώ}vK i\,F4-L$b*T=[  CZrqkF,@W9)d[-& -[pQk0\H 3R_gV̓al6yf +&ᐊ@"=zzd%Jf^z&Q=HL+