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 T|d ] Kruskal:threads=4elapsed=33.075cpu=110.636gc=2.984factor=3.347zXZִF! 6c]ŗXf[&$Zf@O Ŭ%Uxq˺ ,G\Y!ЗmN é!K=C9|\`A7ݮe4֮9iޏ&7OKBn+,SB3ĵv9=ZM)ůiv#eP4M#:uRғ!ŷ.a~20ZH#OX79`}3_U@@}jh٘ 1΁pvga°[,zw =_rZxt()YKqKZgG63°9$B"(9>_\u(')[ѳCrvw$kbi3F'RFИn;TE4`mr ẃus"aM`nRV1P4!,Oʯ C q5b`DIywdYu6 |!$5E ]JԿkaŔHq7]t\/z֠ ;_)Y i+;pXI@ꦎ0nϐ¯վn+]8AK5t:l+۾; fx̏eA;/tFT ÞHVE\Ӧp#hjL:0\Zv`m}^0'6v8Mp^{:CadKԷʉ/ ӻEotf/>Oަ>0י gLJe>< ugoQ65,ve}28y"}l8زXIH}1MҨyᮙ$&M9s 7?h)8ٗ YVOO* IIz}Y=jP>bdEtdsaw*bמsR0%&繹g*RDӐ+MF!y V)`;CRB#oRSĨF6pv~~Jdp'&5E czvʆ—6΋ ~ڐh/{A~hVCQI"i3d{-ɉd@'+mCS*ٶIe^c,G{AJ!#tU8D9OD3FacQ~骸]EGcZ[h)6q:N aձgYZ7zXZִF! e ]ŗXi%G>. ༽t1'k1}ǵ$6fqNW(2&>&V6KuOu@OJ58sNURGg WP@a~ѤJZ[nHC6bqQ6x]l)樊,E%OWFip\befԑM7?=K>t ܞRkec/_ ͧ.FJWL`n{D ^\-BT_rAV?o,IE~1hoTܣP`t5q@bBsH\|Jf^іpC>׀c+E-i9f$;ɧ"hqzw,+>Vui]*-l l#H~,&Geg>~x6|dVauVP2 6ik0Lڰ_irD;̪dS6fGJAW]AoV${Z;,4D@Д`W)ʨJx؂|gplc np"z{1ʑy2+lAd|7VAh`e{/F$[jϷ +&&>ʭ}03E'YBBبRA=HIofĨ$#DOyB4csXfPqpt (ĺ@"/زq ߣkWWM_{/p` eɰBWX"" ¯.Da._F)/ʴy ׬ W)y/v N uGgl믰^".n\&>8#5h`Y<$bb+=rcs(?p30q=;V"'m6@~jY|LqN7P8M.-j`K&zu4X+_&֙/ .Эۍyb,jBod+Ua9\b4cĭUWo~D/*cK<'}7qt.сE cJ{ҋ½lE [VpOJiTi@DWFB>ϺY %QqwB6{zΎy‰I&S KS[/|72 ~9ŋ|  ZIqh4t[Pj|u aqAKFP&c8J]B~ksѡ:tz+ r 7\(eY {i__NI۱)B7VIF:0W/k@AO:]tTB~tCsCp(J, %ZTL];=\S[qZ]БPjJ5ecw&\FVF}sYB+ f#:htر Gƭ,5Uh+DST~L:R[nh`uF!=aƑ '̄TްG oOiq'W`u[iD  2WR!cyfS,#9 YO[aHx4PX+iSS>/H Z+}ƎS#2)3aJ֕܇zHg6Ydx9m'j6Ǝl)a;QvdΚRp wLb>vWKL SBzQamsyq,'ĮݤͿϑN*i^_6JGp37 G1޲=Cϔ8k8ݓ\{: a372Wmq师om!dH@LJB,"O֕R@!%(ft*%kJ'*-CW3ez.@E䉛HbTXB7&>dc2,ڌk).L%όC`SNq|jx>feLܾ[sA9u=pD:bz[AwQȋ뢉!:q--Ѽ%.p}s(Ȯ1û}mʵ],OQBT1ŷ eVF 5y[