SQLite format 3@ . YYQ77Atableisabelle_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, "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 X7\L ?/ BytecodeLogicJmlTypes:threads=2elapsed=94.737cpu=168.684gc=3.892factor=1.787zXZִF! * f]ŗXf1-/6vRZkX U,ذ&y͡y % bLi ,u xPvB+ֹbZN!V@sg D>1hSpZ(8'#l!^:]|PvZ=Ȭ+<`Gnn RB ѿ%ݞA5D|`JZ9|Y@0vöCFQ+nz>ny>rcdP8sfZfwb~Eb[}~7t)%DګߩZق%I?%Y5EYШ Zd%r^nçuP܄}Էܤ'd*2Fظg9cKWQ/K-s3c˨;Uێf|3U+ڬ ug Ҝ -g.m-Em4 !:?CW&{;C G8@ zy(_]s ?:T郸JlRM׳lAP7n"B 0d}RAe<H=ŭC14Far3Y |7S"5t7vաҲuh(bB`+*/㱛B[ǜ&x) ̪vv8jV @ $X?>`QTT!?8:EC%pR %w(Ib5a@9?'/yOnl2 qfdW ~&_ϪX,jD]WwhzHKdl5#-ձF]% m$m|V nK 1΄׍#A´z| _j +~I O)>S.n _-G M?_A8b+3ˍ0$ *WYpOW O$QM2>ҩ#xpD\=PAeCK]4>ڣmm +Vci#.-H}ɇ~[d䷛L[D4>-vl{?ʢ "iԱ݌::wGm!S1=;ʊM:>}ж.d`/g 얃 W؍bOU|nԟk}@$k8-JL3?Jd{J;oCѮBؑ4|Oepzϋv#! MTC@;l$wDx_C)^%ޠC߂&ڛ)~@ˋE L D)X{ aKi. dCڹ͠/kb)/`]О xn&^3R#-,۟J喁j拴V>>HAzQ>k*jVg?=rH۝g+%g}qf@gYZ7zXZִF! :]ŗXi%6yKkGeCJ p<7U0T«jϕsŪ%]8D7BA5S, YBC6Kʪ',n2P;Hr>:(uZ;0&w'ڒ/I^Vn@r.ߩbPy3@ϕޡnf4ٳǢ`UJ W)K9^}䀼f?Q5 =q"-@t^WA!H.:ȷ?\:)&.d Xn zW= %/.a$iN@.=wMzW!+r  :h\47^=AiP_ K#:,VG_G ['֖bAoCbgɰn^pq_"*R TI|3@҅#q&#l.o7}~BhM/kyJuܐQR#8vR[94 7 BytecodeLogicJmlTypes(tS*uB]Z0/I;xbnz& cJ]-`0WN~HwN&To'lZ09$1Yk=?B|IXHHxblgQ7eRmT5UHXA rir5pP)j۾i,q ߅ =$,|Zê/xih;koeeQ+Qʎ%v/g[WL?*+QanNSc@j-&%3ZL(њ|HPz<ر O`1Г?j] \Tl .(%aATtlVK<);5JdR9k$[>KI#\JOp+e6 19k5y 1Q[潇""[B9E,tF]ҺQB/ڧޯ`ZE8]}smO<:--.gC h*"di= ӗOՑIahr̉I[-;(!S_!#|~N\f\);M---ڌ䀄 B7vXd;٥1T 8ڥBjEaK/]c vzUȚܯ]H`aR@1G3P=ʧ+^47u:DIW=& CydUdw7= ?ƜZlJ^ rx(9`qe3mOi]SBLq37ǐ7$8U9hǺdO!P",sBg-^-cw*¤HIH,·$SDC'%Hz0 0=jU]{ = ˦aT B!/)Gɻ򧧮 MVb!E*Pi]ߡk3 mVԪ@=xbǥ=4>,>9'XH !}HarT1Kծ7!Q"-ڋ6C.rޘ.kҦgr%,<).CܭGtn)iOIM8#{!Iе]'Ea<i|M"=d J[]9!hϻbBEXPm,=l~"2ӌih~GaF7J0LE.5Gju .]F@~sLcBw QQ6b+ `>鴜AĘXhpb+fr %7ܙtk=`gT\Ys $x%+o|jf;sc:HݹܛCHS2bmhr,dk|>">Tj5,4 w;?_~ _I]\G"~Űw,XcRx5<.H&F==5NְWϥ+=S:D\nxjH<ԛi?k홻X|P5Z[c )=4Y&$ .۽UCY'5#kK0:dgeإ40-3# uݓg%8[LH#F'+K74Z%FS_c*&[-Fr)%+mOq/2#LZC`( Y̶6;`,J \~L~p "}ߏx1Cm>WE")YfcD*=/1rIi[ݪ֔_W==œ' L + RẶHZ&so\3ը s1g[D78?%~ x(%FEiN7xa7AmSw JϯM׷:Moq+lZʖ1 Si})5-"]ls ¶ZKPҢx؆xe.]S8Prz z7ّk`VR=Ob,TyO\qybC2:)wuOg:}DO^c-ʆG~ճS^H݈G0Ȅp׋"$ŪfX>tes!kL$'[gYZ20a5fa4c65e4441c48bd913c72ec3a1ab0ce61aa 4173b7b269aec06bfcb2191ae567c7d2a43f2760 5466f742e4a2ec154f5a861195644d2959b303f7 587e401b02d84796caa9f1747249c36c15d9e4a3 69c6ec4b081097415301df5f2292cafe507c4cb0 6ab84f45256f8ee94d5efe6e8355a94ce0c6adfc aa000fc142752531e559ec6d968b87d35549d0f6 f46d9bb00e6ec2dd512e7069fbbfe8ed6f52479a fc22cfc9f8de889d57691b02b9489ba4e3247acc ff2e9dde1f79ac0b03b0a61515595dff4b088248f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24