SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  $TT ]]]ZF:threads=2elapsed=29.881cpu=48.228gc=5.976factor=1.617zXZִF! )I]ŗXf1-) enȈA XR„+Gw}=@ *JK3^_r"\#&iX~= B{i{-[k M8Rk=V7L ;a:}ly!쒆C[m!-~%H?~Xvq#g-?X;ީB,t[gAuműX(Ίڭ{/& h}B,mS0-^O5_3Al5u[sV}ַ[tcwmj"*k5MPZ"d[KYրYc8p1`6K 2 [RDy~391yf'}jѧW+Di -';CgYZ7zXZִF! #]ŗXiɟ 1FE`uU eC08m -9(a?fUymI\ZC%sUczm/ +9B?*pw SY(2M$U@0tanSc?̳<CS^wڹP3O˸{Kv-Z)[xRkCF@ l M7¦GYA={U$ 7=YN:3*>0%fZ "  Q ui.,ߝlG'!}T,&.ae=s2z!N> lk5o5$ B?bw׌1zc#F;C .c-)qwfO[ {Wpq[λ>!]lrJZz:XM HFϪx?=i. f}RDvy8]Uf'SQ_ڶ. nO=gu'##IBt0Ny;C#TBog|Nz[ggYZ7zXZִF! ! !]ŗXi%>gaYF[yz+fӶ>"j:|ov<%aƯMI^7uvP+_*T Σ;,K)ihԒ!'3g(DDN>e!5nw;Hǘā\C8ũ GE[(hT$l*y$DP µ+0v`.\q6z5͔ײ6mmsTIFr=GօF2zW\b=t6@dCLࢀ'h:O)~)g$/b]MʖZQmt3 %Z(Ma2#xp/!ODk[ c>legkužUbNi>y6_idoyZ8F7ԧA35: siN[lVK,[hG2ت uXʚMl蕖/[|tЕŇ$ceXtD:ո@g6q@=zt?UqJa#Zokg!Z$6M~ŻGxSBr1؟ez?Š\#XtuFYodTJj~.A?Z'S3HzDZ:)yQϛxMьp˟Q$o٩&gMvB-';[*ԥA~d`U#Kwc^Zn1W'O&Q;9S0Kɔkuz9Qlw^| JoV۳cyd\DvC`6 @Y>p{+5&iji4T.7y#`2[YWJw*hxՃ'ȫ t%[1o;/ >)RӐ.Gv1fQ-qiGT\eΏ&^ͫL5M6(8'O1t+HݓǸ߼p0MTgr㍘[(8vpODc6flfAͣuRn4I^/ ,~W6WwCUE,ĶgEmEyռ}nN5V.GT7bpb)4Vj$O1ތMb_L޺hăe˖ Qdblןy6%K5Uexh$Gba8 5e<6]F}T/-S{g "k8 J69P'9n"n¾_wޙR*h\wJ%kc2;{*ᱪdQW"D)sCKRtZ0ݼ5v'bWrt2;Ulo9-?6#J_:,t=im$== <:: 9E~?YiFu@G/ykI^C6Vvq@0+@=Ûc R8(IMbXh $ r?yW xll =v;+ 2M KhTgC_G@9q;B< y'H+:-qs-?sSp^K [)qtn!c,Wb_NȽ R@8$eVLd 3""ڈCхf?Ʀ\OĦU)Үڨ9$W3mTo)ɜIJ2]z5>w1o"S^8Uz~v 4-M gzLx ӏ mj hxl9_ٶ;OPұH9fcn*2]7 p}h9˂"ajE!ӰZL-Clq/[wBw,D7_hg Q3Aw]r,⌺vl{k+CPH#gW, ؠ3KGG*C >ʦP$Mqd&UqyL;zNbzbAЋ/^wgՎQθiz"T65LC!gD\-LLMie@9oS `\ gYZa76549763ca69f9c65d14c0d2a8e0b589af02ff119126f922e3aa9c20f5a31237f68a37a6d2cdfb19537ef226ff0acac6599218dab9b4d7b8176a2f3  ZF