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  ^-LT ]% AutoFocus-Stream:threads=2elapsed=57.559cpu=102.652gc=2.120factor=1.787zXZִF! N']ŗXf1-/6vRZ]](5øF<Ꜣ\Tp+LS)hVŽ&8TIJ %miIGJ}cHX|B9]} M]l$dA[82o5CQI>j oф^T&g'=eHG9O%sHxМ! o^iSܡOAjmʇ~ eL<ި6 bO2owq@i"@LtwkQEQo(I?ƦDޏӳ)Vܪ]tBZ0ٝb;}x#X#}!Ma,F5vyt&5҆a<ӹگP@[vզ(}t7F5g`l;AGxWTQՊk :%pj,ph 7hcQ񴆛en0wV2c~*,E5?;5 +_R";Q#J/U1#7l DA;EgԱ ;j·F;wkqu".R.Z+a+BGzi\-tD{5[^ 4%$Li>FKY-lڃj<$kp< {474`k"5S(b.`&:_/ú?&itnp/.ԢDvR2+aP1#kLg:ˏe]|Y - AutoFocus-Stream;'pcOCG9HHG ٵ`bYb*K>ĝiOk >= i j@HwEf)oS: R&$ p x} 6Q֛8LA.>epXd[*+F atu.ǥg i_һau sυ~R=bf LC:~i4 CD(:d@{?q5:|۔0p]e+)v-mr^LGJ2]/atD9_mr ex=gYZ7zXZִF! ]ŗXiɟ*#$iXWRyZF֛Nx>|=V}Q6 Iq9S8PֻشYD&aϸY\ Dۮ878m3M3[DPX-юPΣ[:IyfJ%Rtz4 i,ggYZ7zXZִF!  $]ŗXi%6Su vAoVw )a ᜊ3LB=u] "v-z*"$ v N9LajȚsSN:+s0 ' I(IRk"t,~ nOD>! na,: ݼJvd(ۏ,ME$w"}o3oyFd }_Xc9V6𞎗!jqB~mx(K;I9: zhDWmg"Y$?7#K4|u(l&E0:n2C uHgBE0rS ܲm+cާqs'eM2n[ےCSb&HީVEUYBThscUy!)Z]۵݈lf>6Lz'Dn*q zBU~',sOkǜ;9Lj O FW%* xh`rys²R{3By33j -67%i ;W.Zi<;M(KhA%K]6D4_B e> uMQ@} yOqKRXBtJuH5}kƯ$ uExmX";Sj"y?{ڰWhyha($&/RLQ'-CxHBmrxt32Ag6TC:[bO%+g =]g_C@nqNIC0/F)1i_ak|z*}yOjهkA5p ו]{ 6Rm=I ׶/ hRC¬[@Sg LL+Q=rbzCTgP@ϖF3,YR-x_o8T+c) x^%-e)B'g'q/>\/YS\[#luo_6}.Lj@).{JIُٻnѧ&a~+ĥCTOؑs<ǎ#s) ѩ^~xʡVpC#۝>r5IYpI7RVlӧE X<(H~ P-o,^L锬Fkf|I'W@zx&9E&HVF$w E%ЬgK"ZDVgdߎd4C%꿲v`pG8y ʷ4b8dz^MRH*_ ij8-F$z02AqqXrFp@:# S/ 7B$%PZQVÇ}9}:nKhP/?d0 wGݑ:!kHuus!`7=T>\Z֚ 9x&eD+v'K=Ƃ݌]+vlIZ6안-,_3Wr|R]B4ЇCMZ~ڀo9]r &5D8 1hWJV !K4ӠȢ+{a![Yt![_ɧWN^@|Dc$aaibu /8 l `LnbU> Bk>*` ENASz•#%0!C2I<4%^=!&o.Bvpd fua1Q;T;jC[ס D*&rt$ws2(/Jl"OOɦp[DɁ>v+0ш~G&Lg  W'h[[3*Q MT%Te%H[c^A9>WX&^U2F1P4t[c>7@T]x\$̣>׷#4ŀ4b7眡Ȁ?b1K.*bjd,^U?`4<4~ ;̓+yF]hr%#;-L7*uOc-zrEDӠ[ziCp (=#$AM^>OBi#9,i ᠂QpD41m5Z%6nL*:s! fR.8F{CUp,mAB!OQ}1z 8hݿ`lZZY؜v~#ZvcrVa ss'@ea9mF*Ph \i#Gv` ٝ%P_OstϏ|)V& UV 992{zh4E{ZgYZ222cbff7d70cde45b862f37a5e5bba0a1b4cc8eae70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f 298831af24cc88b3cfbcefef1e23af24cb479ed7 2b86c4913f59c41205580d8526bc7ff058a1ee4e