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  ( (I'lTt ] HOL-MicroJava:threads=6elapsed=57.070cpu=252.980gc=7.904factor=4.437zXZִF! /]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^N);{4"#l ?xI4$,WX1!TcWtwGv h%"2FFͪn{P~MAn^\sxEӃN; 2SU J X!.*3G4{7f>& zP'zsfh uFL+p݋Jc'C_qmgD iM ƣu7]5 0t}S}KmH6]trxJO\: -^9ȓެ{"2k!DQ>N0YP%n .HSECr($?0DދinPi.u/ٯ=ue F>GVa4#ZJs ' HOL-MicroJavalRL'bex( %H0x``R5ld ;ŷL]OqwT ep #>;;lf|hϦUAeK+I썉ՠe%fWb4 eə8w! LqL ˻\]+32TU_6+&w%uа-[?0^`ǥ%%Ŭ>`6437Pr tJowRJ̷bفQ|hG}Hyӿ(⁣}0y}]*Wist~T$ܯN`mτ!?$/6#q5^7e2?TA5;m(v5A*U8;p%+C껙DQdW8V\a0E*b,uDBBN0lq+H+|4KrUwD΃хjječ'3f?IwO;nT@@7ݍ:dI?Un~Vu[g=<3[W!x?paiOoؑZoU}`H^nv˪WA053T?#~+[}4q߁T7y$_Q y.$I|O#z4 !*$Պ2D4m7c1po@S-̮k"h*L+w?Pl-+]L1I *I:D{r:I'uZ?%x)F7襅cfL' w{/ZRie-A-N).-I15 찳LH1Kt)E@ɶyhxؗH3K9)':O .l]bM#5=ÃuKбy&4` osWېƒm-%%i*2vd 4JYIFtj;5$kcؤ1Mت?OUX+ \0f'MK f{U,Tf=u9S], L:+87(ҿ}O* a=\$CJIfBcI'o `8}Cژ1 #G"JZqqyy1K-?:2hRusBpUxO-ѷjjqjzcV/wS/!bQe,gBAؒ7)̅c4<п}mqAض.:ajq7 !8X5 -T_TޠĐ%晁咾v;!8؀vwG}y70xɶ>]d/wP"w yJƆztJ@S85ȿ y'sBƇ)0δ1oO~t~Mby(1(U{%U߹'4\a)#Udz=e-ѱA!j1 R84.D/oe"ZfyhȑUH}N|۷sifdu(Kfٱ_=W9 ` N<k)Eφ7Q"B3*I!șE50מɈ)J9DN&r1ߵHF'?bԽc{37N #RSwϝL긠2$^w4r,;~D8YXK$bw]ͩrG31w횸?U˽85 ϼp<=v?$A5(a>ƒ̹ !%^\^wWo:)C<&,/N.D~F|},m`Fv#xn@miHe«'lv`k{mf\=y7]iOX'gYZ7zXZִF!  ]ŗXiɟ1%c\aE>A}hN4NCݷ>Wv?u-xтQDf )0}5X0<:6G;b&!_ =dXLIuygioP78Mu!Jŕ Y ¯Tɳqz_DaY]jg#i&"!m$宊ƗAwAi t^jvCu݆s@kx9KnN.t63BYטzSF>pMgwl:/ Ᏺ~ Vҙoɚ鲊p2)ɨTOD.xO։tF]:yw{=r?(_%ehCwWNn|Q_%H 9):2/ Ky ΨFbdF!Q$Xkqr`龒t.v~ q!o2Aa튱!YE>9R v6IڲJIyr9GSZ҆dU3ha9~wW*xY/Q? CJlI+dJMx wF(NxiQizu7ՎmZj~Jaϩ*t-i+xjYItR3y RJÆMO8YNj8a X] P*]zlBS1I.Z(32&ʁ!?`HTUsZR9VbA HtYMêE.(3;w&g΢ҙ3{Ta3GX(~B/.%i;$AUF1ʜ&uHާw/[w 1"*vuƻlZY#\)g06 C1n e iF!8 /xGbyDd1 Y.h0Q#Cp<h/c l~T`1ewjAb5 I <؂#ritxL_.!A Tv.\X)Xy-0t$2/|BluؽKoĤ=1_ι\˱+B+ b 5eEyXn̖?ڴ[q+ld&"%>OT;\p0|{dW`rfFꆰ'Ώ+PW'`&Vu5=\lMְ9F/Tj ᙠŠgvDwwv9=L%3 DJq8Q!Mve ԶԻ\N|zݨڣ@Q%Uz|(o*t^©6.7k?jPhs몖.L/kkR%sV2QXפg;=62`g'Xh !i"Hǂ\!>6]I1}pT:&9g닐Cy!PAYg裹H$0qբP­7 Y@i+ ѕ* G>dU`rQ 3#Sc?d*x'cc0jA[w*Ԩ-4H_ɆLy+H)OZ\7(4^OFmM9..X-M m 0 ҉{f3&Kz=z]G$5Bz AY#whU ]x 2R.U \?C#8CmNJ(8)NPp56$i>$^q0bG+FtHJN\S [)@$`>˫R ]O,ׂ {FЀ9A0L9l̍Qc¶CvTaNU`(V(8e #Ҭ65̺5BO8\Ew'1 qbpVB99>Dd8 ֛_ʎ+V@P|#sf왘X%W18 & MofA3~EXo^z^R Fi+K|Q$\G)?~![_ɴhQ?>&`]_pUߑG9 )a TXhX$X ɽf"̆]# &F45oTbEكTƊq**PX8 3)M7G_u2ܠ\\}* [%b/G %J)|Zlk)>>:[:52261&1$e &H]tIU:n%LN^v 7\,/k}}p4(8𶳭n`c վā>><鎹~X6]#BC'Fc %̏΍Y*JG!OXM\)/y\,n! 'C$Dq>du8 $nL{.&>>mF. A{@??аZνKP@bdSsH/W?ۍԐ|=}Х{z+NץTOaLDՇObO^-̪; V5dǑ S8cZ0efь#OV`u?bG*'DU /J92% (sf}f>rBu{64|2{"Sr#77M4vr̙erϝ)+KϓӱM&6 0Ɲ n!DUPp,Kw\>jB >,܎U93Y0,_А