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 V7tL O HOL-Datatype_Examples:threads=6elapsed=82.938cpu=299.888gc=27.528factor=3.627zXZִF! Vbr]ŗXf1-q恈&!&ʁղ='9viEY\N*4gF(\khEd)hӣ򟇑BXCv}?IOUN@E:»PA 6+*OޕETV?4/BN{ lP8Q¡m\Q'n JIzg8x` hd*ofL*C z[m8'OQ,LB73A dZhf2BN69(\Ҭy$uT]Mhi5NF7k#[1•!|/EhgZmdWoRL}L}!hKKw C=̠؆w߸8ǦfIhk\z8XPwUcEK޸ ͪ;(Cy#8 -_-TiiV2ecGeQ _1<; nDBXxgM_Ei2^TP6gc}T yJ퍪y9$3=9r1+k^m 1nˆuZ%-i3U͹=nLdB"hi;F)LO8ޠ,Y 0ƯJрm$Lz6!ٲ:כi@cPFMJ@~Y97Dn30}YBAĊHEEE "ZSvc2- _{I?RNpbWpC*hce彲s0?^ٱrXTA`Ne`L03ÿY/W0/K+ D :}=E@]vε Lp\zxH6h)M||φQMx:)=|D4Ѭqr;>qOB kScV&X E- ({^NfƋyAwڻGO""D?juWnܴTbځJ l`y7k7šiVNA6ۧߙԯZƦysEd[qox' 꺧THr>{U.Q}P4yrmG <[I %ɩl!*w}9W1<`[Un¡i)fy9ua]juKvߖgӬ>)3BG]M49P\ὕ.4w#b9ȫa9僚׬RB d*rEk\RWMXFӨc%>z#:"#T^W#c*ԚSu$7} zKHmSb(f "hH7y2=R&0]:VQQA8.SRi WKlS7M hgYZ7zXZִF! x]ŗXi%5Lv#a$!4,٥Aj-<&\P^^<,/ft#'?^r^r>s4,RoTzX&vApșN6E#Wm1k?~;q+pY!}~E&N_r%_$$#M?RnЛA`dV]'X+>2߫Eee^_|WZTV ֧tunDvȈ*c|Ⱦ{K6O,WFVESck]sew'{:O46)TBQlI}0w6Y]#3 5vNevܞ1m<@!fU#N(EH|Xst$dhW3+:YZ76)9*kE{즨0n8_y;FgJ07D/<bۖI2^KhqC6D|1*?8E:ja2z5ks8]qcHy8R5* \!:9sSο/T"%uɾH I7'X<3$k )%cR^ Pыlj '^CŘMD+ ם r՟_W A,1W,EWH|kG,GuA3{/R!y4'^;m{qx]?O%Sj"H`W &JƂ*k~zf|1|,65bgq?R>{:z74Ö^'&;r [*;vi@G8IyZ]awɊ+o[  Ca+޳zj\AS@6؆Pc+IR++L\nXxRcOϊ"a/k \Ĕg-0{69Yr@v~z5/qesݬs~XlsVk/#/I;$H^4UM그uF~ !`:Ia΢`J־2$)$NH=ZղS|'G#17bx#yQ_= 4n.;tZ1җ_kyMU#}O$`/{asL07qCiK@W_āFUQōKNjtԑy`{g>upoGb5H/ŰWQvA*ATfj_>w ҢM  nظN D0b7%J7F L":3䍴|f)cNAn0edjT31@n:>Mju5p@D 9N13nگѥf Qw|wF>͜m.d9;-7HMZD19䃵 "_;|'3WOXڼR`du9JV-FYR!M* sS'{H&6ѓs-Lsu< ŮSp:@&:$3$#w0UB!9.{7չMs'a3Au}u0dBms扙9H Rj꫱@ZI͵l]FYeoU$[g"eP 5,_UԵmŒiҾˁ:ͿTmg9m6WrTX]ޓ(%7oΦ*O=ߛg*Ί@-iEqR!q|(74RZ9kD=San|+Φo$SфZz\` %nkmTgZb)પ cr`~ڷW u[ Th P(l\1P\'NW'CJ>CW:)Id742ÞiD"w~>etu}EtD!MixfW6pǁY烹J&ܞtN33@ne@Z<شP\=R~[aGj*ސ)32RLQB;?υEAVݭ௠B_LB {ӍigʦyIڭ=e(lj`~~0V}( ϤϜMFWc}a1";6֋`қJړ^ 66  "_&RMST8`nH־%[Hb"6<@tO$?~Nz!+Ji<-%牴'[%u`4 wkM:rް_-[GBFi0)4U e 2 Q,e` ក&#v(dwuIUF0а;O_9\A2K@er$A^9\{MT$`}xp3Өܾ&thqO$-g`q6. |_ARu )\3o{0}Zq1M=M1[^N=h|T~]4wӎÁ nO6i§p|Q/@3:=mIPI.mgs&?7*[HAG@َ4K\Y CYߘA"J>hxs51ZgT/ 'C+gYZ076c2b898c9dd24810b5307f054ebdfccd515102 111bd506a747a8d2148e6b1fa1f81695380436da 188772c8cc0763cb926fbc73250592b3d1fc2fd7 1a7acfcb263843f9a678c1ce0c07dd60492f5098 252d167e0a4018cbc7d576d359d0e9c6ee845c4b 4ba8e906db1b7173fd60af78c700c4afd9103c3c 5ebed541cfcf29e3e43ff346c453a6e1b69b5793 5fc73a9c2bb9c6f5cfe3b1b6cc4a8d5b018f0361 627eb9ab35dfce8bf8e47915e55c4315626ac403 70d9ea874231a0d1f29fe736dab1cfaed4d7e7db 76b3b2909a380b81f0a6dca81ca22aea5b019f36 abcffe35b50e769314d17a49e69cf2b76e6a124d c30b02fbcfd250c7a4bff57f0a40fbe5a596e36f cfb98c1ba5973e23987602a8e62e6815ba583dfe d1ac231ee93e58fa03edbb65a38283926432d0b8 d5fca18ac4191c95387bf634e3449c39abc4710a d87e1167ff8cf68de3c424e365ef2c57bb8abaf1 e3ad14e1344af2ffa265f0e446036ea14665e0f201c92facbb750b67e7694845954c40ee8ae8060f cf4bd480742210ae51d8ef14cc188507d1ffb65d a948c168b910c1d0d426d242df7337f8a105004e