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 !<$ ]S Call_Arity:threads=4elapsed=46.913cpu=165.472gc=7.024factor=3.537zXZִF! L9]ŗXf[&vk@}B|%Xy:|%њ6J{Z}]p[h*wK\KNR{&7{;zDbr]Fwb9y FSLYs<ӏÑ2g-#;/cENE:* xK=rJq68L!5y,Q}sbm 2u`A6t[# ,_4W H , f矧Ql)C5S_ջPn;PSuCٱ"hfqˆx/Sc?F.boC%پމ9e4 ,dߡ㴆ЇԹ &5kH@KV9H R`h_Nx3 RJCcǿae&[c Ռ@ڜNq"9nj}?خcl?rFNμ1Z  @Ӓ)%]g.a Ӣ-2SNЋ{>DY?i%勃x5^¸O5#̄;*alUOq%'b;8hǍyrCA#H/i1%Tu#l7:~]W}0aL< E_z,@~L0* iP*.P}[6T#1Of09XWgj YIn8.uHޡӦS@ řb KgYZ7zXZִF! ]ŗXiɟy4]fz#jkP.YHG1 v):PVCP2?֝`k`nѽG1z,ioMUFDldF5Byg|PP^atO_o΁N܉*E;ǣAY۬:zBΖs) Af&Ʊ>i,WxRmc=Z]7xN+#5<=U٥:h@Ϊc@v4 (&}9L?W;,^߈7g=Dp]y~y[.@WtG=AD;×Mxb؅'+bJ*BcM(æsESP_1[ y@JZh A/CjE.g k#f!# Lvp;g-YkVc-Qp\ˬ\.=1+#dE<ˣMg$[1gYZ7zXZִF! 2EL]ŗXi%ES3f͘=< P +[gLC>rPveAmޓ >XP}:lNc4a~Tjh E(C !R9T4O q`M0\ &i>.ِ,uj:w36O+ LcRSbI96}Kup7Y RL%GWe{|L=̲hCC~G<t@PaSqߑ4Dtf1k{0rׇ{G#H+g&/S+; !I4BrKJX­=8~|okͱLc}7!hVM9UpahfZ-  ! Call_Arity  _*PAqa)V ӤX'8pOA7(-cqGG@ t\m2o{!$ΎzdnV;]FO<^Q0Ic#BuN*#b"~Sl <$.Z.Ӿ8>=;@)j`U `\5H @OSEŚ;|*Ý Kr,sa8gz3 Y8$Qި`J7?U~}\ ^= KsϝK̴gi'bDbGYg 2?jz'Q^ad)^E+a|\9^Bk9e#e];5-$Iqi(W**1$]9|5 z9rp PT|׊]? 3)5|JXv#ІK\f{C/4 eqYք@Sa6)0.Y GRrav)NҗAw|㉧ߤG*O*D0g~baVqIȐ h =Z.wׅa任+QQDB=0Ѓ̈́c y2=N3Ĥ8>wQ\[`lD]ZyΊG.d{2KSQc%+) "J6E'"7(T\|go"=X޻䵚KD/,GA >)4D1/3eeK%ˈI )a21{jdtb7L (>dd f|=Է78p3tc(*mP- rpVŴzXVh?, :&4qJͦ'Xq lzwVKOJw9rK"j^6d"8,;'mڨḡ3]4U* I3UAFBcӠڙuơSV۫&g:<a"w}4͒T']V&C!12(յ*bhA|YςOւ,guv0 p_1ihI7#0cW'8.^M9$,h&{@&=%Ŷi`ezK:$^rpI?*]z7(\ȡ,@ @E P/m%70zw]LD8V /|HX*ۯB<*h6al*q3Q ͵q[V $Y2%sc뙒` ,>-N)Ƴç0B#)=%cI `rЫMy`Df@s5fv@˪ }URy;uso6g i  VJCQ:/Y({tWLY!N(K`cMX{-)j^P+^MUkիwTZYU=ib{){^s[ ICS] M1`@EE92>gyim3LhK tf:םlF1WXP!Cx,ݩN z!?ED7!s_73#D_jecz-zDnuoczϢ^ԺVuBsgn(?AݮAHxL.?j [zG_4 P\Ѣ4[Mzu)dTbrf N" ;q\4=^fJM 6V̅G:8Nb忟~ <'vR5uVsPB mNyp-$i)5_7S>yUy8!dCDLaqRp ;+T}W=;MsG $.gV>`W>wq38ϓ+i?JjI DoAAUdu|ڵi}݂i5^YVrâ‚zn!*n+=T8frH5[־h-bg!NDo.vhn(Ft܂' ^h=-FDTAm;j6C y%PRDiM{eyvT|A_H+Y_f7;;jeQ.?@Z-=t%})j p| Sd)wHk`*+X[KKI3<+E.S~FcFut,Mɉ)Ŧr { LtgN1h'6[= .y lz`)\@yDLR)țma0lSY*_$ǘm2grʢEd Nto9TRܪJ,