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  L'$ld ]w]CAVA_Automata:threads=2elapsed=72.228cpu=100.140gc=5.380factor=1.397zXZִF! %]ŗXf1-/6vRZxY{"QhEA}ξY•dС x@ۥ1H !lQeg)@NG^> 끔/.$9;Y^ FڦޜrB:/6q{\X ??‹xw<7N*k΃|@]vyB)#Bl>8FTn~n^Fk]6DUUHFFBeiوXnҫ3&r}!8"aۙ~x07ΘXm);͞1jYWK>גaޣԔ2$\rVy3mⳓR/ +Cybkn;>:|OAd]ۀ:B ^NQҧz;6{W7/OjwrL$w~4eD  M: y.Vji;p7, QWI9.@#Z/iAPd|*#Di^쟙( h!"8v:Ю5R?H< &._h6ZVhȞ &X&G?/T <+Kԩ ĥD>+TY]SOfOv߰a(;KOfW,7e-*"T.5Lu#9(G/9<xqǕ502:7 (SA@k<\Bҩoy ' CAVA_Automata@Kګ 0gYZ7zXZִF! ]ŗXiɟ>P*%;֤er,L`&ṣZ1rD¶I8# SLճja<o-&}']En3  p"c*ZVm/= "3 g |c[C\hn$Ą2[f)F6.g[$~5wǯ*V1fAI閇J\hR6~\vw^ :v:%G.Xx`\濟'iQ הoM6H^\$0abeK$VJ<2~S|*37,hr5u&wsz$$\m69$6XS19'[`TCLih݀0 Τڮ5~V6P#p.5 k_S2 X? Ub)/ԫ]2pgF%pҸdf,:QM5r[b4/ :`%/3IX~.&8pӡ1(^”y\@9vBx9wD՚a׷LJ&ZWSxOX46[W _[&*SM˖^i s݈gMyXDsޕr81 ɩ@T ̛V#ޤR)W"/!E 8!q^ypB"\ -tж_Jptw &+ \͵thu@h_MnftOItAB5TÐ1ĕ_ UW3);;&)Z3e'0i3:Z"v~|K9`*)7m_FEFq ZЂ> >&l$i7C}/\e@ZǫyV ]jC3R~!u3DGM'Q+ ;l6%hճ< J4Q t6j͢䌛9}R^]%Z67f̝?]LZ,$"JKljeetOOq-xAK}W E)=֦4ۿE [J_5 @;ED 6SJJ|VV3z kHH* Uw#0lĸxac7:ńw߽Y@i^镔޵4 W)<,ôԧ_-~P[b8s&|K,`so9 tM)]PIN(Hm#Po  Bn,0p~fg,a򚺔 -[ Sԫf- 1e*4FR80Hbtl#4əvez@u6*Dz.g+0(JZpl&~(ǭMB0E_ 2CXdTQȦ﯆U+ ,%&[6GDM*^FzͩNwY3mű)NcѼ>ÕJھ/SЄmr5ZlyI[do#3Xb$˒%%`Cb+zvם5BCB6%߮C_a"|,-$ܕsz \ƷjZԂt,#y[+" J.0i)#p'Eۀ$~rn/0 _\nٺƏ A0/7p<,WJ$6sr!-i_fe\p~%(d 0aÃ+>4I4$|Wu_ 7ça'>\ vdhzU&=ӱƖdEe}Mݮh6 c6C~HB⫝fcˠYzLt5?q #~ؗ(B$l NZBdI^J&ptU7{daxtO:I5G+38lc\ y[E+H\Mb*oƤ""B{a35Ys:G6jq/7}Vf7s/GH!4idf?G`.