SQLite format 3@ . BBh77otableisabelle_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 m?4\ ]]HOL-Computational_Algebra:threads=6elapsed=35.380cpu=105.404gc=4.088factor=2.987zXZִF! )S]ŗXf1-q恈aldC>14aUVe*@7Fl 4˗O(pm %c1$ D(x!$oLBw;9çebk|A&RBpYF$Z=cE7#3@)?FV43r%)oVh"8ʈ@s;8> \ @XtBB!g"^pkKyڳygmB ܻSDl)J]Q v-Y'+RЉAA庉@a"/+$XPQKF^2o# ? HOL-Computational_Algebra0cf(hJUC/ $ JO*gr-&jې&+){Ξxfp/ ;iSΥq(dH@/NjH7OfW .l@CPR^fPm6Y vj_B;o>lluB㫄h% klH2˱22SY*K<|)v"lAZfOE.y6У,%a J+-Y*C WfFF4JTRJY {<(8E[ڻ52znWa^E/P^o\W’CM0vJk7f~WNTay`3$Qn4TlZy!ȣ\Ø!V"n;F`DF@iSWe;s(鍐ofuKk[4I ɒ7mC6TT*Q>7!ΧeF.9#O KnjG'_OZ \kŶEx^;{"mQc { %)=BA1p`lb0zz"S_Fb<Ldh6š3oo +č'WwuWtF>nC =DM:*Fw7䚗4[hqRgRQBYP$MSPWgYZ7zXZִF! /z]ŗXiɟ1& `VxSā-k;*m|zpxIn]q~!K<☫**Tʘ*-vc]VS ?_S s/lh=cQ G_aũ++n M9Z_M|I M[m , uIฃ!̮=68+}(b[p0|0 cdF%f׆:1ƉV~{L>ނ=˸knd,K}AN:}s~j }K(Sp%po[1\徑>Ҫ++, IkҚus /_gYZ7zXZִF! (]ŗXi%6ZpkUKDKH?Խ6͑a#č(F!_W(RTipu}lO]NqTې%B{?w ^1:U1v#'BOşP|Q δ f`Tܩ&^ކeqT׵7+!coZ0!fŝUfrk\dv| V59Xx 3v  CX|UXgi3 p5y;xR6AcbZpĦH"ȯtb0^ٺNx#AvRR! #ղJƜޔ49Y6*̭E#-9Wq``T2Y7%ވzxF^U%/Ls]$hVcWDcw;ϮS khЄO >nYAܩ-}|xw"; JoUɐ!ho!ڿ( )E,UW]|2I©M}6kS&(MC=kDbt`c+ jB99ߌ(:`912ǏC|'=L=gaA.6fVnG(rMMkaeo5ē:F,/J(`\|M 8 #4]#$̴]TUP!OLHPG U^=?<F5՛xO/٩|mLuz5(J( S*)쬙E[Á*!^'WV2SxY0m5CkOWW%/n Q"A\d1]eB&eU7r>380 -B zBW#,C؋b^PRjqخ/>wYdډ[ePn@=4l1ͪņ4ٷQSȴC iW*(e\y0crG=lR =;.F&[(Eu Sb"ug4xߗRr]Myc5UӸ2@SCZF2B$[ٵ WN.|"_]3&j~J\*`r#? ;J9BG%<,b.f ql RQ,pQ<^Y] ɝDBȀ-ڋ*7oرi:BvX,MW}S3G1nO 7j}&V!<&z XBv43jq6NJgB Q (x$!7ܖo+ƓG`95$:Z3 FԦZ߽ӶƊpl.H_fx>5qVaOWt]>t(=|X[^ O"%OyPڼwfbA6fX4h`aK䵦lux;؍.a6{&T9(dHon0 ɀxS ŅsH!ON'|4.ݤ]T Ԭ (KOc< yb>(P{ X_VVvD,O5jt=6Msr}uhh?WG9Nǡ&݅*pܓ]'."֔0<ӿC:n~m70jxILRy>-Q_e, 1 S 6)vmleu-)@t:w-xV^Un;Km pe][ϯB3>I_2:s-*PL{ A> B>p Zs"D w#8G{|3YjWrh16ZOz+"6чdE ^U m6/Y×* ˰`ᷓύAw L3ql,[^=(4ʚ28|}@dSPH=)':}- =[_9ţ~a #i,?3p/-I r1հ@tH4n ̺k%pyŻ6*$TaO:]=w}xKsAWs F3&teB,h2vI4*P91 `gM/gގ;jm^c-Z+"; %.` OGlV)|5MT(K EmS#no;W2<:S ہ `Jcj3Έ`f'm+R@Dj Wf^&(]YK],33gYZf309eddc83937442587b52487338e8602db64819e739dc532a6c80e6f5d762f572346ebeb03f4552 5c6d1467eb3dbc220749df9119f5083087abde6c a222adeaaeeac8054ee14fb02b6697a4291344c26ddc1cf50b279d0071207bf3a1b61e4d8048ebd0