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 z 4< ]]]ZF:threads=6elapsed=13.236cpu=47.060gc=3.228factor=3.567zXZִF! ]ŗXf1-) enȈA"tr-j. ZbNVH ' 50R6EYݬ/]7'fi[7Y]WFt>`Hv;!c ~No¸8aھz,3 g(%]Њ4Y8"}K94b roӕjqrL*$\ $ԿQ|ֽ84a`&݉Ac޳ƷVvdqR}X 96ErfO猗=n- =R.mbC%k8s;lyOQXU= 5L!2?lG.§=x\ޑ8[=m=osw#[`nX-BӻfPrFMj&K}'ۯzG#omow5Xㆼ-ֵ-`ުQ|@9, ebVCa,2KrOdN$p N=m9hc5ؓ;KTc.ɺP^iNPaEa) ۗnzK)t񜋲.R`X$RM?ߊC[koA /Lu6d V)!)Ao\œ-^T )ANi0QfvZ&H]=o.W(ZN~AG:V>߭vNCu(% }riWn@r{?>HMIį?ǑK%gё]eM02jXT1 ρ*?uK-nrՓ!( .вn~GG SMהo١X7Ms}F2:Ufg&s[c. gȕL.]D#ޠDsZX`A}))~ىlOۦJrkʲr̔Tu ( ^ND kaٱBMҌIG4gWlLR5lgmGƥ+f1 (;H.!jfhvO$ ϝ_m^͵ىG4o#Vq&# tFQWrMX~ Dy1j Y L)LDO:q5:[+5Ɵ͑E:FywUjԬ~m|i#r)G[xᒵRhܱ:c+̔p(Qw\IRH x<-OPq cN7#ló+uCvw }!I"Fe)<,j;L~m'|?V5=z:):x"N hZYm ߺEA:\<\’ eljfVo6Io=8jRiiq&[C ŇouI^rR>_iwlv8.9o<>Y lq8߇6k1P%϶4 [bAẖ1+!̽)toP xa˱''jZHlʝO$~CiKYo;^JUv"FŅo4{ ,sٳ =J>DG(m}QZ#=սU6K;h&XX*?a -c?q"Ղ?zC@ꋘL%JV^E6. ׷Abڇт%hك'E(A9`6::xS1 TP :X[[ j)@:)hH} ъH=i3C)-&7zFreG爐g[7!Zbr ;- a"姴Sr;Ӛ߰x~!g"ŨEr?bNevD%Ii'HϬit1k0IԷU"W#iM Cpn;iJ5fO>Ƣ[AE7.zlp_; 4O)Y k-CUb ЩY3J.CZߵEv#Fd; ?>Yr=f) = bӪuj libypSmyVAs2(K Wd %9iSԣTr P^P!{*z2 K(g$wTBJ;tYΪgl~KF}<4rHcNh N"g; Rsat@ 5y"íq;M? Z*c%s^EK,K<Y5ߐ a>ĩ?"8*Na]AV?a5H&to3+\'Z <>!Y5)+FE+3=]o'81&"9 { Ӓ7-)VzJlԳe4 bC~gYZ6d5243d16f8496582a3948479687b1bcb8505ea3a065929dd1485620a1fe2ad1ab24aa44d802e5d5fa12d52bca04d1137718686c7ff6459f342f6a95  ZF