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  y?|4| ]]HOL-Computational_Algebra:threads=6elapsed=34.011cpu=105.460gc=4.880factor=3.107zXZִF! ,]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(Az{ A1ٙ}( , z8r-둏~(38cZsG] ϰ@ JN3iJ'JWUE4kbȣp^3&U[7Kįl3:Vr c8&9tPaۅAwP:$k6gs|.f/k4~xmeǚ*lL S7J8Zt?~6Q5ogߌrYO2,`^!Q|u"\!FO0Bg)^CZ@[u*:薱{$b%)_za+RYyx.H(c.^eB+9_ Rp^$SUY"\]n_n#]yCr -?w[Vx1f=QP+&{j1Xsmv $z@ P=jlI:B6,4f sm ivPrHRy=us_Cu<56"wԐ2hxELyx/ g!vѝ(ĆXxs-QRNH~lDczu2v5.^gXԹ` 5lث8ˢgu03yLTɃש4r I4REiO/\yr(g:]@(ҳrIo *̮#^惱y Yk˱gYZ7zXZִF! ]ŗXiɟ1E7lXe&cR-ydB&(O6ʱ]lsgA*B{|kJF]'V=+Bi{$J( xd ԨON@וV-5aw` s':p)\Ծ k_'f=?MI"|Ypho9@sar#t'{!`33)+A/+7dIQƔ&oWrS}QA gHb1=nEؙ 63ȸ'ىZJu\#%ހJiO/n@OOL>1.dM]@ Dƺ 89 gYZ7zXZִF! ]ŗXi%90CI"7XEw8EA̴e htM+ ס941i/Y|N 6M*(l(V33뒧D# r4b@!xg[9?y~ 2S62l@- ddQ`: -1ˀ#e5[xڿzQf'dsazex3E,`Jww&Fd@^.,-XMk< mh%<&̾9NHMhΑ@oDY 1Cp2)OZyB#[/s?FGM}cptr_i\AHYmk?Yn짲[eo,ɼ=NTוTu{#ld2fڃFB [NWvIǁ,/vG?I3Z,|*=uZN̜\*·ZX3`V4qWIX  mhSq|4[E@g wHq<zhn.Wo[2;&kCFVLY+R;шA}aq4jӧ5 :0!䀄5oAFzq{^31Fry@{ffaGM҅ѪeTߒ]a*[wOqs){BnO GEiFP_#z>FuSM+`jXtiK*fo UԸy@yKe7]w K‹0Vf%_7Y{šȂ),S[lmp+&r`P-&bF#luRf5㚱*ʼn[7(S`MBGc 2k#r>c_iyf5e7=B裧jPÿƜ0 مVWgyoY7f APy4bMʘX~L:4kk@B{ s˪4cǿ?]'}ZC ϊʳ8/_i~eLj`ݺd4pDǣ{G6\*g;( wbcx( h/ʘׂ<)o_ΎbA'G|vm^4h$ N4j/%w`Z~6GDPx}3; CX\eSDW0e>('l6XU:}yBm);pXw;E)>Gu<ɍRITHk8I<5Rx}[B΢DM+ji8!u65ڪ5Ce9yZч `V?tB 3+jN㯰nF;:,gh_grL݄q}]@[