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 j%\ S MSO_Examples:threads=2elapsed=75.032cpu=127.692gc=4.744factor=1.707zXZִF! &]ŗXf1-/6vR[UWdT-]!"Cu"0Lm% QWp37JDLqqy򅡍2!IAGQ PB>7·YnW*s{;gQK3F8![tt~&dz@ ۙ]GRzF<g,(| y5Ӛ8-dFwϑbD<(;HpbtV81k(2u, %Ō8xG}cT96_8 ?7 ,%;ِa^E |@*$#qf&SN$Й3wg!Kn!^4&;jT>dl bՃ ؚ+_0=#mǟSmJ/#*c A GA RGz<9ʳkrT3rc'LӰT}Rx_r <\ݛv!ώ< ]v2޲yNsИJV|7?(*A# #i(Իm=.J # i]:1W>R``i']^kGwfeR^НYP8;^b6nÐy  梵tp~1P Yk/MrHW [EWtv;&f`w/+leh#hdsqڵ 9LU(;WF(.XZزp\ k$Ek$;+Nص0}Eљp\ax #O呣 /&3vlCHO]fdrȾ?cնT>Uf%4Ʈ FR`_M+၃\OntkKkH!u> nfIxѭ$J Ϲלuvj߀zT8Ab&V-k[ Eޓ ]?9u1m1GK+R!&8z1w]˙3CTIJg)݆_$Cvbvx L0X,`a |Y iIMѼu}iŌVF˨TbjX<}EFx3Aq|s1^(|҃Z: iiaLs6c`hhŔL v\*kk?))-^z&sKB`TWg &AnmW@XA@P9=]+f:SX>u>ҵ\F3f?79C`ex+6!t⎠m6>!􂜜WuzSxBQхRf1tj6>Moj'2Y]\zc~qj? ZG&¡n(`r>*&6a7rTClbS-άA(|qR)P>)j8;A'T6k5tS$w|7 7ű$wKRնį,l+gRX ;3u4K>M&W-<ЁXҕa'Pð=4;OEe -AnZн3$I'ŏH3fCQ]Vg}=>x!&D)04ۛඋ#1*T|` =pn=|q.}"+;"iM1 ]S"{Ϳ&;GycuXfG,)%ObDk"{JHs"J ũty!rs|؈{h)6ڟA̚NTNs$W@BdT:H1ȪcUof6h]Tvmtu줅 X s4# sn8`t#;1ŒTZ"T ?)GZG,*6Y.bk(\eSMJюE*A.:'u2f_CVLK%2 :"W.% MWN񲘸A*0ۦu?haӚ.\qϔ |U gMw̰S SJm@*ny8@>CVwMAfWU8=KtXHHgzuB#zqQȎ(N+%>[(,,{Xbr:J)2[s Uq!04r9rҌщ)Gm,6PʥߙrpZ /!=5V3Cad܁гq;+.Jxߺ'B&~j],)WL-f$bw|<+f*tSݿF*YCudP2 tT)8}l^B#Y6B4Fh,^8X꿿gERٷ^*H!7J a,RQR[~E!ÆBCkwMHCƠqHW!h=@SǗԧVEI\+GU s2Onq*MH y1a&SnF8Ebq.^`Sը$ozr4-"Uv 圓(6LxdWM!gYZ1e70705efd04dbbbedb9a4715f0d34c63258e9be 67764ef3aff652c71ef813384afab8f7337e32b8 d60e6f1b237777f66e8532733c0c11e9c656e7a2554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 9af8b800f666541cbe138b0c73c675da401c3f67 04fb672ad8399462a0ad1a06a3982ff4fa35a97d