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 #D$  PseudoHoops:threads=2elapsed=99.088cpu=135.340gc=4.096factor=1.377zXZִF! 9l]ŗXf1-/6vR[3£ˎF""TB[dkn*eTX{)cTt&UL@˺E6c`s՜𒾮Bjm劣7>b~Bb3Z̘ [[@?*| |vվg}=o"0()昳=w3ݠ}j+!%k?y⥓9O~+*ˬs%G9jĂsT u)p)>\uMX)}_ eXI3-Ep{2sxRs֨M8IJ@/)i8Fl¢$&,[ c}3Sru6  :15[_!SSBΠ&Jh=n~66W>^ou,xjUIDpAmKK# E;=R"Y'7D"3{Ԯ鴻w0&HAҊ 1._ɲ$A⹧F>FW]{4= ?LjM+0ɚ+X&("]v?~+&BP@1&CЁ#N]5T5 Is6=oKny_Eo$۴v&)yhyЙdy(,mҊ0Ls?:G*޳BO^fTNazGWŌ~$no1Ys6 fzq䁆0bKyyp];sc /;iXz[Sh"G"Ny>bfOdy#ZWSI> vb%; 0&(\evIpCqq!|YۀS `3b|q ȠqH|h6JnmSqgT!zI;ܷ+Meft:Zӥ6o`XR b(`7q)E&3b,֪Ƃ>&߾plM5+Q70Z_' M;dQbVN)W2pX6fu|Oϖ(9$7x'O]ȲT*b~C/E}5?8&BI'{\C@~},8nk2u}oq-9Nj*њ.mm>V|C%:knmSjrt iE&k!@Gc]nLřm=85&h$Rԅ0e}7:"U`}OΞ  kI*ϳ[ϊLgm:!vݍBl"w"5~2{EVO_-`-daz)"-MqdHby2U$9=8X(iKm e(}<"(fVB mVDzˎ* {aKјdW6~{sF98dNxg7*tH3e(9 ,6Ò踜ra؏7.&Yhw愭h9Ix߰)b,ZUux(KxN%(CIU)lCHa'Ty.K÷XM'n&@'l텞 UG&‚O}JӥčJ͖YeZf'Z#3␊!w/J3OeuN 핻7 Jvt_mgBc~X]xip_ 91Ă^cKsuk{eay8K!LPfiXiLzG>ro :2gxVŏ<iYi*R*!`X ٶDY`{+ߟiڪuI0Vz/==HBEl*']gf̑_S> 1˛N$?YΗCR)vH: dlD/P&O n{ԃDZy{dn$)L&jC LCg)Ů܌dHh8 U#`VgKHW6!fD/\|̝*EB^MAe'8'E=%cy'e[ nLSFN<9͸'T"[m0+^sFHo9VIGy9M :/[ыyÍ(lY3qn:]$ٕnz>]Q6dDhn%7dj8}[. )tL_H![F @[] 4NNcR x޽J {2C鳄!`uȰvrnE\S*TlɜcA9<`R}|GA܈>+(kTqXCuh )ʠlc !B9t@ 2aZHm{c`!Ϯ^SO6S~=lT"=۹Ѐg02/S5ΧO2B;k<,w㝢մ-Z7ktLә6vYWs{ۯ9hˤ w֣9%j'MSydw`y?K/ږ JE$ݝ/`B >Ds6݁⛵Y).8Z )84H%cSY2]zUxRYn3PH]$+7oJA>y1^Fⴆ$1,0?@7gv׏fʥ!`;>L6:[ltC@ؤ73O-dWZyP9!9B2ix,؈Z=[hZ@lA-̩~\ocw Q; GY[O /msL[;[i`qGϴ]0[G;j{7ti˛3Oϋ:F="2gFiTJ:w4q˨{><"ZP˽:T=);s}\ zɦiŨF۞*Kig? WJ [05!sƩg2x GQe#;سfaQ]xtX>9!E 8dl0G)?Y p]]Ljiκ)^A0/Sm-G"43sQ&'$]@Kyj'u~xyw*vlX8ͪnzX>@bc樂| ~q!~#߁0B+NzK+ f4ި$zxjI%XY#-LLŷ3EkEdlv'&}<=0jTWi]όR|~; *_r ,'e.A1U^aͮO·(Ce>\>cq3I>"0n iFBVh 8ԫ=>x;4ܘQϠʆ{lvYn<@:jQc[9* R.`;DF3 ,.&mzUQÙo">ãӡEHc!hњ2<3VLMjԎ٫ϭR3&|G3c9d#7qR ni" DsZ# S1gI X Da7׽H"217h t3%5`UN>HV^mZNwH,DZla*e?||/"һt Q[s&Z)nc}}!@A:044T Rjϟ!qЯm,FD;2z d"C ޡfbH]pсLS(Xg;+#t _?s͔gzx?뀠*VR d6?fۖrR$8k`C֥pJɢ΃ϬTy9qnWAڣ~p|DZ7p_ YOA2jlRGߧJzN>oW񼞨o3xkg`j{>{e9U&/`s-s|"2Vca@NgS̛02][<8BuoyKVR~Gs7!5 @`6%:4NKơčX9).!IԮҮY#gWxɁAyIɔBkvttxLlʎebS敐$M˸i=;U;_.M;λai#)@;e`6q\n<-Uw A0˟H^Wt4hߎ7~4R0BFsLFcNQ~)s8H8kE/izegt^P)~ȭhd¾)ph!.5?M^ؙZ{d4%%>ɷmY Ati}5&8SX u54>ژKJmϳ*7.HYI_kb~' YjŢU>jS:Ǘ(#L$Zo?/@H%De:YFcv#P ix"yVPmde"zYTT901i[+-F?!=q'h(|^@Oq~HHw^ #k6)@C-`W4> T] .'bzMjݥxM7鐋O7OA !RWVF"#WY}gtIJ쮙EN?ȐY!1 !xUó gxdU9cʽCxc!Y-@ Y9YܹX02͜x'яnV46[v9=uB}8DIbHG3 Nk7gEdaH~ Ɵ4=n׆]&xӪ690s 4<_KX>{ MV2`5:e=.LK]x|*XcyM]JҹI_;.yQMB0ΪqHT Hl$++^Dd[c9 䯰Q] NkDlncIVb&[p؛SV'Ɓq"Klݍ79kj4ىv5&'>~XXD݊'i;uF`ORÇ|[O1߽lcmv5)TgM蠕*|!,ժIulxc@hz"Wk?`N彦]&LCLX ˜;k ¯̹GI )x@\Դr(j3K`N6|g`6p/LQ(zsKL֞#)~#QT9P#A݋|H}/[!¶eRo:1rW&'Ů/ KK:>=VQ qիyЦY2qPv%QF!_'C/ה8P!ʟZ]`\|\vB'm-7wf6P2-ª ^WERaYX-GJ_ 4p=cVZ{.p0]JC|cKQD9j(Dq0< xֱDTz4q~6M.GG|Hb=GuB[] yBg krz=? w HTߺH}r>Peq͛ޤsxKybPN~}|=!y.VQm.wj[) JԨ3UWrsΥTvh:сeKC6ȉĴbCɵخeoͯ#\`Ҏ"p ~-x!-K7suq:gB|K;<3iذ GQM >#