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 / QכFQ@1hPzE>D'5xx]=zac 8·E΋ӟ'N&"t KޅJ9]<CO"HnkDol`T$MQ$N}&pouE"4Qwh,B̰: c"}PN~}^&4 (++9;]p"^'|1'rl|ո 3Z&?5[gQ+:7Ŧ K1zs۱ɋk4$b 'mM>H rEhl`QVаz+Dn錼tk½l8EyHgNOyF .ŗ$$6i\{ظxZ= \El'9l'ٞI2n S-}YwTOJMȣfZMNvZ/r|6?TOKM}k57jHXY\9St +4S5&5=! ҰKȰM|۱dF G-= ~vA߀H<[X95 $]8BV*KAlP|g>G,♇⴩x!U~V2o2[5Иd6}uen`OirͮCb5X)%}3sM칈79.,V&q1UUD=%W}͸K#*G^4ї\$5_)obk%+L. `V}*yVFSҚFE 38aI.GΨ8wHkR v~5;IBFVC11%WO89X7-٪ M9aLd#?& ޘLӮBc- FCFӆ ΘԦ*)H?([JØ3miY\q|c9/b&j,._cbVXgJwcZ&Tx`Dfab1$'xO!)?Q s NcUcQfn FBח X he.= ٝ"FcA"(y +v \[Z \tCu:,C0!QmZJg<#yj!q_3(}[j_DGbӐZ/ RT큞od* 4B?9! 6?k]biqQe|veX|S5B*Mácډ;M=p_ǚ-[@~P5E b;pHi!%yua %69Q+J? lsosd5*Z/ 9?xTR%? 鄞rF[`l]`s!QnG>0[\[ԕbxˍ0OXO,EaC$\ք^/quB4q\1F; YW&[\ oaUЖ+r򘛧z8>R@xuY+|`| ŸJ̊˺R9V,/zTt R>J.顡@UO1U? c pN,UDR娑ep_V]Q܊*0[~QcD|7F1|7ơ@Zz.Rð5P啞@㡍X٥UpݱޣJgYZ7zXZִF! pX]ŗXiɟ1e YSCMqmO2"|b!Oi}ຈx4B沙1e1VZ'Zp& SGuɥϨ#f Z] =:1֟ڙ#6HNݎ|tjX;<8eiW qZR$ uҪ+3}]?,鯸zN#='D? x;.ZW˻3͔T_i*nS[so;uʚ\(+fD$E)rr|=Effl.ژ82׊/T (+z˙ RRG!P'UEn* Ah;5s~6QSӁ VHm%/EÌu!^;1?2fU+L/UI?L_!Ppvɕ p9߲t5 \9 #1ݪ[-d4.Y4@Y]@y)G;ӛ/5qFaXCʸ?7Rſyg1d$`BiO~F9GWvӹ>ʿ,Vﴩm6!϶l.h_2$'w1vZx/RMNϗॺxJrt,ymBClUAQEr՜Y`ݒs[f"6#k&=yC*W{. <@c.|9GK?3dXf.jw<(ۇbVc : a>9/ M/lC ti x ˫n/ tƂ+Ċ< l{z:˂G;Úq+?ErM9AĜ~X;G] 76z3&ў'j-_ty#{ΣvU/A5|θʭg8ES>M] a log6h{4Jv&wqW,[!:A}gƎٸ= _RLR6Ҵh3OGDvjoS!fj?i]7іE{KbVAn0\c. KlY޴.xU˅se&]VZ^)K%KR 9UU*EԮ BoeSBd}xYF1>z i E$@h9Ώh7B+ђ mvTBl^jd/MFWO[I8L}s b) HW҅KӲyfH\HN‎!v߿?\%I'Q1ԿP ll+pURon!jFhh@x~(dUO'45 2y0O,d>.z{1צAޮl*),dHw#Jf[W{f ɧYF fSgWžQ4_z&rˑKd xc~V*L)f`czI1ܙ,UGR}]$@2BJ й@d\jL˺E>ZZj?]QS_,Ti)i4)QyXaB,f\}G *I,yF[̵&VArG7Cg@8=s4^oϭj"\WB3V%ciǀ|4x aqh 9<\ *^z:~K;!]qBȱGU=E+C_GTa; / B1N@PMwP;߀G<4I=nUw.: g\ eW SeV:@́oɅ!&0`w#ȈM0 Ԗ@lq{u^쏎ڬKC"lkTj9X")`Stgjm̂1!T 74; uwF|wL?&|Ã!QY}2~,Ro)zQ1n |;wOm>Ǣ,^#^Dcx*ѬN$[3rPo4*ZޱW mQnÃhܜ!ưŁgYZc49fec028f50dbf55a841669147cb3a3c0acdf57fa37635535c1a91559f94a7dc9acf81e08caa63c 108107ba6152a8567743bcd769d1dd970013adfa 7e4070d2ba524418af798ee984dfb220aaec7062 371a342228e22accac4312744e93c706d7b0e388cf2aa7b38b696caa2225b96c54c4d5083ae6f391