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  ]ŗXf1-q恈73w@9!Ӳ) F|b4@'n拏‘PCZʿ)zD%tq0u53Za$vVv‚.j_L}H"/LCKSsZJJ3ѱK#T*.񆓨x)'2#X@)vhT^{tBu͛|іhfK6DsE6J65^ ȡ)ƽG8Peby\%!г' ↴ )ZpZY+Ƥ#tS0P]0 O7X{juy Ń2 v\>A֥X=)&3ڗX^ް"hqC\0zb0!.ɜICm?Y)˳z!iy|0x.kulyq14ƿ`WIdbgQM=wȩNq7I4Wrɠ 8z5B< ȣ Xӓ< GޑdoQF#;֬d Nm.@؊9K}ff27,F_#,;OfWvAS@2 tnYR!ExjE-EoZ@Q )*NɳyI6~FM 1(J!bU AB awfJ 4ɸ*5O[HQ'0Bՠ7$˻s5iۭ2 cy7+*ApBtz.7)Nx̸R.pp9c}J8K8Lئ32h=KpcXZ'#? jDoȜQ (d1e˄Zl5Vx =9hiOQX}Hg /*b\n|!a i|^u~*BEK񰐉p )UP,Ȉ 0mPEM OX~?bc߾|߯ 9.5C+I(&O.˯7)`.sZ$4Y oGg傑!WeS+:;SW 1V.с~Ӏ)Ԝd5gYZ7zXZִF! ]ŗXiɟ1Dw7v%[yќzMd2|,)H8L@BDj3@ݠ'4ePQZH7 kGOq *D*Ӂ*{l(5`6[?MtB>W~s7=HyZ֍4Ë#dy^S1IQۨM!rZ9T5dM ٟQ2[;&$ D:OQdAO .}0=7iNxJj Y8P[G :9#s1>L=w`LAT; VM_@{K<@t,P8IIj+qb $% PNmk1{=M!ڶ^`S+:@7B9M]ICB9w +1 <@j Fސu 0ʀgYZ7zXZִF! %4]ŗXi%9#iVIb"HR䷖A{IsA Kq+n@Er-Ú$}&81jf54GOɴB-D8+ t _.MJՎC1{޹ɧ\:d ًxJ=Oa0 ev 'zVtɦYȣHF:=@~vzi.ǭ<$J!4+uu+ L Wz& _z^K{9nkVm_WpiL&(ݥ[h^T۫ӏV|rz14{Dي?L3|Mb4pl:}z`ō Q XGWW|XH1J2h5tr8ܕ=.;08x xTxiޅīM>BD1rN/V#TǴ8}Nxa'bP=^Œ1u9|6P31`|~ VlzwcR?V^bn]GTF͆x4X?u1U (OսGw0^a7 :_MH ({*m;`=R d^=v2!_<%p&}xkT>7JGG/a`IY7g%"S ŎgxG-~s\ '7YL6D~b ₗVpAڮ-#ADmJ e ?TA%{Yxď<)qpŢ/:|W|:`#`89h;x#dbXоԫ16(|w g.%v2x+FXKwҒy{a)+JݛX#?:nJw*Hy˛4%^!FNF\^9E#O7~}fϟPu nؾ><⪫; Scu{ZMaFksI{߾^H/ 6E–\S5j2"BC<%>٬JӋc3nxhP7P6ngḦ́ !;ʐNsu@oԀ%"G)F|Md+R9D6YGd؁͚ɶaFrbu i2JzWܨ b=Ϗ` Zx`39 &Lˣ^3s7M↉TH\U.# G0.7TR“DOKM(qz#ݣ\pR s⫝d$#4ǻR= = y>fWy"kS;%Yj8Z=08]ȴ+O,f+_BpDL%ar"Io g70_^<1ү%T"sG5g5@Hv*ˑ%WC^.x]xIQ_c'n?Po 0}QVJ;` el yVPܥ!NXö>_|5Cylm~NAk `VƲ8; gLŮA֮ϲ4.#f#e:iZɌW$[W:P~:]{ڋ@ETՂ{Vjf \.(H2cw'abpҷi.UK zICvybњ3xUȲ`] vs/ߡR@u?yC;umP|]Z]vgr=9S|HYx!wpA%۟77WFaZL%2m=Btݍno- Y 6іO%\1;skSRjݍ@UG&?Ôh7)׷&hj4;k/5+uFB؁ 3pk^OȘ>umJNx}r`F|@K/ B5g:^7$5B akI,4Il3mH.e6xGD--#ar4K䇷}-PB]D AD4 :"'u{' {)2RW"vf"H녤u4)A40 z(=+JLo!6WBi:i5O3%筮2)0 Lj KAjsAXn*fufh)k~Cnb&8EtxSw hJ*JF4qaHh(Z n\r%])ُI2k?]AɚVKۖw]aަ0)vW>OfI9@ئ \SW J[wմt4mx\2bg{'KadlFONLYa} R3Dd_Y[h҃> QQC4iC#ZO N[yHZN !ݚ&K7VU}Rpku/e15IͫgrhnMY/dq:S_6[PğXh+3Df"Ͽr Tt ?{PRl;eF{t} ^z s.r':?T\j7Uչ3Wb]DOmRʂ渁Y&*c7Ng'x6DtFhCMA|xSEYu+5e,Wl4V+ {F SfWB`Ua .X?pE^^]e%2eJ~<'7Q($MeL1 S^76.dGT:ޘ;Mix3i삯Q;_'>e:WM~9WٰHK[S_EyEa )qkZ+4ʬ@8ٸzߦC:0 n1#;C6Q.ɼfikSvj+,WS5*0ÂxqQ\97h\+@H( e:f;qKF1~+zxQ&blH-*3iNE5X; A(Ƚws0yvub ʥp:nY6m.c5N[yC,H煮PoiM@^ WAU5w]@}0U*kmvܵ(Y|9[>,ýj9Ya6H#z=VamܞkL[lU:[S߉а'rQiX2pzҳX8̭pNz\ XH VjQ!MRC֬Aw1j&4)bL]huXnLPw)ohdd@SͣZL"i_`Sq.BRXJU#6[b~?wD[;T! \^G ZF[Y/vK,t^bh*4bVGWW6n#Ĝה5S~qTxI<+E L+c\P.5;Ot zy QJ:Y6TdsZICYdtx"<J07EǝܷXkqMN