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  Z Z+ ,l c/ Euler_Partition:threads=2elapsed=14.723cpu=27.288gc=0.960factor=1.857zXZִF! i ]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-Ig{Hi⨴y1,y‘U:*^|\Ƞj%:L V`bd(_` gA=0:==s8@(e(Z% f]8c4Z8x?}+^P }2)]<"τ n~*~trP jR $?M[D~ຫt{ry,omPkRa⢔yK:rDN ~44_&Z֕[) PF(SBRVjK[ /x##ԐFETw5+o_|$~?5ό\O(ɼs ;PЫ0# k592!9a WMҙi]} }o'bCDR[ DUEV$awROCocLr| F10&Q#R 1~qMPWc2IviF3.;d"..~Sر~өN-gSzB+tPcymr?+ig^,dS+G1~ Bk><ѻ&Lluy>7@$̈́y$@4g]2r*0{ѿ6 4$޸7:hmw-&[^n_㚋( S$gM$V*GIx>$ǯıGK?eljhm/8&8qÒؒ|:"|[ $dj):YmRºSN&g?¹D12?t{[BKV|Y`1㊣ Ш#!N3ϜBؠcJ[ klC;l?%r`~_ac(h_;v9 Kc 濴L\LCPL~\g"ݚAw:l&SJLN:%j=cS|\̆2IqS(}f1R)s4tŠsKZ~?2&q,WUܽ|XY u};cRފ_W2`|O2r!R7ȴo5|?cVdR@[1tQ6Rv $@vGq4hÈR7.}ɳOw]y^QMQK_ 'MudOT;dUSyKdgLbe(Li/kaɻG #?ؠmv) 27ڷQT4T l5grn{8x AE@A-ŸАuz[ LxPkiG=DE3 !ul t+>k3 NFEaEzvݛ;Zyf.2 Z.jטp GI[1}0 Nh>]1Ve)>"w"@ktꊹ&ɘN6)"{"&ubQ-e`g0B]UQ Ʉ IܜHIS>۱*YM^ 2.: l͘9>8ض\mr_鑍\!wR3ș'~鬐29mVJ:sթ]9#<<áz^kG!\Vqf^W5݋L R6n 1%rIj]/FylЈ*z2Q`=M^w$fU`瓘uRMfC_{E=쐃.q_#(4x M"lX g3\䖰w|3R~GW/DA {nKNO+Ih(@Qg,S {){~B`@{y""T@tբ vݦ@e ɴgF@~KD'g (H9,s6ި 'Vvv.0aq-3^s=|*PL9j%/e*4a*}Kt4!H÷T{ if`^%[f$jq:RT}E`'zvz-~A$SQ"/*& GsbnM /u֞ާqLZMzs!gYZ7zXZִF! T]ŗXi%?@\}6|!v8fXK5KOH9SJmZw3M;~"wDžx,oU$d3%!(>C1:W63}J^}nt٬mF`٦s &#Vpq+RKPTB/io*dx^A7 k貘5 WF+ۈDΞpFb_lz|V6֎z%}M@=HL,c`wf+}Q}f *F,Owi1ή9 34!~^߄v+m4o6 IwAx]ʃ2A"|rKo3Bj]x8e::utBoa?w)Rbϼ 4~LOG ~/,lAaH#Ft0P3FՏ]L{k` *=QG.g]~M?ć<+%GƋ"jE py;*7҃1d Jb)% mK>Vz$rzN>Dl J)t }0+^n(;&q x_Q 0s2glB:ruu{Bei0Z zlqΤb6Ҧ]L,2{Hn:>,bin"JPR٪cK/b$N\ %c y%UvފZj{ʖK mt;;'r73(g17̽ TmrkKD׃y/-dpL%.L?0]?O{5E1 ' SZޏ8`\&ưnD_ U'喴 sn|=N 3?a}ZOOkLX}<!KoM0+A'N!2:VNcj/+Q2]