SQLite format 3@  - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 ccvI c/ Abortable_Linearizable_Modules:threads=2elapsed=77.181cpu=120.704gc=4.248factor=1.567zXZִF! i]ŗXf !I Abortable_Linearizable_Modules1-/6vRZ\RZܸvkp {Xjas-\_D>3Y8eV`51@VBF0;W-?M¿ d V 3|@E#L)%ph߁?\͉;rKytpPO3YC[!ˆ]O}{?J̩UWptvM_` KW;Dٹ?5t31{%xyh1ey+Zơ~jFX-QR S# +QXzq{+pn< N[21M܉KG'⟎oŸFޝRi\YXx TgH)ߖ)RyfK McwǿkMAZ8$2g=*RYyﳷsab+9w;V#!JZx(9g:-_4J`r^y9AԔ?pN= PQ ᯘ3n#ߡ{Y)C˸/b{^*[]UW"Fؚ[kNppcw_ pnG) cX.5p.b\(لpY&}Ьh.{֡bA{zś"P'sTkӋn ?A N`HHwb{ /b*$ =諁kF${nMkGŴZמF Pxtma͞3z;+5`}~ٜL59ㅽ24ϻMo(wF ▟̿%S|FkL8֤y-΀4HSp,LaD8$զT օ_*Cng{dQSeavY7,ėDxdNUS Nd#J$6axSzE?#ȭ:/| @DWStyk%\v!eC>) 42d6H@( uV\X D=hO aBnw\.s+|, 0x)WCZ{*%%h.M`Ϻ GRS X8ƾR۟7'hJ,xz1%$KTo{ê,^%}5Ǟe:w0iχci'OjkQ.b Ԇ?J^ڲ?/P2IثOlH6ѲXI?A҈Gp߈ݱd ; ñso;~+u(149PQWqJƗtolXln/gb+B*<סբr :Į'e!;v9]+M Fz$(L!6759gb:hh[4&diŜ+҉WrFiR2.2s#Quq Ԁ/[t-RN9+kI Ck= =֔X=}CESH*6o3կj+2eZjF -0('˩=$:]ly_E)WhYS 51)ȑG0{n[bkb|[0)ͷB|doR 4{qcZ_hA#9H@s"rLC Y`6,NklA#C)}k u܋+ʑeblX 9XzBCG4MJS11:D/Htg41z4If[7{XU~4mxK;e"NOƘdUgֳ0+<3 "[P&y L԰ђ_ǴxZv! tDRi *ġYn#R:RK(c=}cn&ʃGIK|cRеJ1=2t#VK9Ǫa e椏|#J~)z9lY6uܴ{zhP-SY\;Hp\ Bfw#8ң$0 ֝@-ŐʟYRy%m[NAAiFRSlUZ-bx!i7W> _bJ#0ʦS̿(^ +9NFø4e .VܱgYZ7zXZִF! oKF]ŗXi%\ƨ!3@_>RÚd)hqٴ!9s$x?')U^55LNJ@UVh詊QtĊHɡV~a溜j6ݎvgpẢ3*D_st"NL/>D3Zҫ]8ʠBUcZ|%HV*QPMiI="UisݲEqs+O1S,Ɓ43OcM"+e;E| o9FXrx-OA<њy$zJ`]=[A:b0sw%]g 2 #|e͖H}ۢhSYFv%Uw']+e%*XE(|F0Gc55~exӷb `YY:8V/!S9lGtȢc WE_*'[xq3m dI{Ȇv}9yKWCsΐuǛ Nv@m1Ȓx!|N쑀C,H=8t4g}J>esL%6)-_0o)Hp֚GڸxMc><1+#M1o&EyN ȞUt."VpO$,ImAu!yeٓ瞥aciHPWR?(KcT&}l-6(AQMAs8¸zp e'xJWS[b LUwַ}M>ցE oLRjz,F)M gʪD+S:׿iQ<5R$oD꩙11Z ~e$ވ`=4I髅fA> ;ˮb5KQ~y} KuGl$\>b'/BX[".54\ՅT^b^ o֡:T= a$f(J buȋN@cG ''@ECRen=p1H!.dP1 3OYf,Jx$.wb2W,U _O2(&-R.8*dbpsF[Y~[qؿUcˬK/Pt:."M>:M(i93GTpN LVVUG;ڲ12S]-Č[B 7<Τ> n098Mс7')# a&Gxfs?Pʧ R使j {cpT%o ="XӭkMb2 ̍P_԰/uPQUu8\kKUb^Ț2`订\{|rG`ofF><^,A'T=z9 "cF-Ic[C-1A30_dV"]H+׫VD>'QD8>=Q:[oykkxIppL[¹" IdU d3&~/x Wl1FD9=?%l^B?J{Pʓ@,BĀ *PS2h"U:s6w"Ȕ S1N_Ef/"l b?VVw#eUVؤ藺tt+U#n t5ւmfVWDZCگ +@v,7L<^/G ,yX\)KFiP[}p޶7hdJDN| B +YpTUnzfADKT,/K+]qC,|Pyݷ*oh(]k4>&Ç_H@ahǥf)R`ejr j4:=,%atPag^/9E{YS<v$NCݎ4m[.'ryO@FBtQ]re2Jۖ4II\Z3`O;wr EuY: ݄$ؒ|p6b?KȶK܂*$r S@R*-6M,H0EY;:*EC 0Ϯ:y{-\{DҷS ~F\C.R793zmS.)kᕌzM7yugɶ /dLtOu&P A~ƜQ=Srb@Cx)ggYI_jԵ9'埇3t*4'l2 Q,) ٭R@l9VbW`$E.6f`Jiazh" 1i@먬;FZȠ tCɨ yz]q9%#D.ݝf:t%~q5t0[r*_QM@lI__R6YٙI,ɔ9r!'0Ho bAd\ʈ#v̟Okܫ\`rRQx?TVaq"&UMf/K t J22$! Hp`+NE>4|a} @5oÚXѥbIԍ-jz)(yopit *`O%^A@1Ѫ"~vgYZ10487dd2f4d8699df14c3680d64921ab8479dc30 45c4934f1cbbac164f231f0045e1dbb7811a10cb 4f907c7274c85be908794b6aabeade510546fea9 7da98085641a29624f635b6ad31482c7327df3e8 835e1aabfcad258fa9c4868c7dd6a211fa3623e0 8afe05eea8c05d3353fd9c312859e90cff55cd1a ad8a8afb5e787994c9e363e9c372b7113dfa9425 c9535fed70ccab764c54371a0f9a58d4bbf1b624 d3f54f950f9a08bca0c34f69dbdbf5aa2c89c37f dcb85683ceb493af307b50c9bc5ee30709f1b642 eb7bc95ea88041f2091a9aa1e017cf88e212111b fb7da4d16fa90e303b41eb16859e10ea5ef4927107addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988