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 ((MIlT, ]/ Abortable_Linearizable_Modules:threads=2elapsed=84.567cpu=128.236gc=6.556factor=1.527zXZִF! \]ŗXf1-/6vRZ\RZܸvkp {Xjas-\_D>3L=H豸W"t8C^4gN)zQERSy}K,?qck  27Ygܪ8gwBJURF|63%@3i[Zy6V\`E=P5-hw)sռe,B=.z *MA8-Kb -i&a9B-_`oC]YŲA0='5 !OFbP.F3%6,)Qc",*?Yz^c  )2{X?Su4k=)yBE-"8t -7A#„bSZhFIUZ-G퉨;75ԭ NG"ckѣLt01pqUMLU=[].<]͢ӈAf _RHjM wWg6Rb9j&*o;{MmΖd=&Ǚגq%u$M)3t?v/?fwEyS&tz`">`3-kf6?YjDސ' %>'+ăH;e?h!Ny1剦2*=Ϥܨ8k|`[(Q}ֳߧ(6N7IZ5rЙYg0fNUv_2C-`/6*gF)W7*h [{|l\R*ܽ"zQ8S?*G92ϫӹm5*)*3112 $U ~#l =]{Dyb>:EMdYO7jyL$J6$ Ubw@=jyk`X=9~3"k|r%lϗm~57ʊM,dBȫ<á)$eg oV#`GVR4`<կJg`fwWMXnuѐ:~ڏ"9]Z٢ x'!6@Z'b )vUT]b{vT;B cz4G`rTm]Ȃ JBk3,=c tU?%L{Q+Ubox3tDBΠ#>Wr_Z,;Z_XY :v@:L'궬Y01uoBB 1r;@4^8h7Vn</E[FZ>Ch.9ipE,Qb`Q;!#%t @;Xƶ;Fʝ(X|Y%vUn]HrJ O3&LL#^,ESjyJ =5f` {B9喪!h,UuiwSLK.*ʼYrUo@*,1 A;[L0zH2<@ůmJ W5"`©U:Of82I{~U)؏ngZVZڶMw]^.C̰/B֙N#+/M.jO fY%pxy[ ա3gYZ7zXZִF! ]ŗXiɟ>vbR6{{]GBzzMٟޞCAJk~,0t:\ +z:}ʜrި "J0d24 6W} x0Hs1޻!(znbH"sL%DҚ<?r{=v g9 Z+~N#Ud5ōKew(T[#RK (TgYZ7zXZִF! ]ŗXi%923A}mW\I9[@aT:裂DXSg~1B%GیBP͞ PPMflu2By:1W{⑗![sMpi}4E=YXtn'Aut-q3*cM`''9kj+ms_|e"Z ﷎Fo$Ýi[\]Z<- n7!3m,vIO渨I!R2\+l 9#;7 EO͹ȭ@t]zL'klT Lv-0g_f8d)kJV"Yov4"(\Q`'~c}/N$0h{%8-sr°[gvP/Ӳ*[/ ¡2YN;'n߾AY.|Vfn ?b8ACG ki̯ܯH-NU:cK=f˾N;h]-asV{yy|\kl3>!."]'N*mm7p-巿Ry5b'7^9"/uNd>csJ2;wclq%* 6ŠkPH!H*&>7gjw?xQ @;I9.زQ峽ge7BAl%W# ; H[;nڼ8 er ;ڙqA{I߱A?+G`bz;3#\aBL tyolR{/ J+)OJw02g":Y϶蒢Mb%wYsv&rȘCƟc?Y1!4 a- 4*BOfɲ\(g-GuAuȓ/gR/nH1чYEr< Tva wZK$*6`L;8'l_ZL%jU޵h89dG١ݬ(hFa nO`ha* 8XSlE1%cehE04&J%ϊ%>Iذ(c ; RC2V_@sE '0SjEN_J*&z. }#P t /)̷ϱĴ_\TOC'+\eN1V?3ӍNexױ bl>ԧ^p~IS ,pxU3T' lГ @aѨ߶_6VҝwƄS_a?4tIM`!(~':[r`=3fҵp! "r`@(i3 W3x=j˦AEciNxO Vdt E{Mpf:ZcE^M|?xav3*}tJr}h @e0> 2)Śq6%fEH?6Z̤+TNX0wBj~}lT;YZ/'@gTao]>D"X{w}?"10ܐ _| U kٲ60d󢧻^/̞CY= տ-h1ٕ!9%[$  <3qVE=fjB0#{U>vg9d\cnq~ZD~$Bϗ\tjD, N vo4Uh:jÐ>wp T"@"Vu.!C:W5hgr=]8}zD0;/`3:-yh*%ma]m.VAc'c败2g !3A;VQy߻pk\,$);}Znq$BjBfǼtlJ>pLt8bN˘R^@wEClH;d'@X(REewU-?ZĊP\l#)C׽@ʃ''1;PE&)Jҫ3>=4FDR3`8WP&['ic3Ӈ5+NNȏ@aAƊk:@R&g4h~oHߩ׬{ $ :.]_kMDG$81t,@_~jwCr*$]\<tDk(n ? g[ Hw5>G?r77EL@*O]0pF~?M ع/oYd۞D!g|bШSR^aWU\ղ062B@;b 6\Pyr&u cLK.6.Sy<~0uV}|M,=IøN BU\_:'CFS5}wLIcZ^z`Y*1f J/\\lfnXXT~hs8ŹO{O/bcogXqkI҆[Dk]\t4*ַ\ j$@2l;CmXS]o`s0˾嶦6Ypd:&e@절zOn=>(4G#w5_v 溧U#lNz/J6ǯ+]h2>+U?^bu#k !,H?R $<'"2/v'Ǧ1܀j9}ʿl)n 3&MQJ*ӧ//?MiH1ob\OۇmoRdXkd|qy pV8& bi!ϩu6?ho8rM@)2Y1DGU]^^A(@y}|w}u5`j&* BM`]^B;Y~qmd:6Iy Vsg5mۄ+t]9WKώ y(-UKcq]&=ҕТxV]%Z^%X|%cC-_ǐ.g@?.88uM'@p:^$%/1MNjt2FG33$ZbN7g ] wq;sQO;b[FMκHST$4D\ 1R,dn:|TSWqRd堉PcnZ@>1\'Xg3t{s DZWן![TCjzS|*9F/Ldt`ut'iq^&IݟEwekӇᑨ`VbW61x9xEqyk;}l6 ࢕4qSE#@gYZ2e6a462b3923f1a4f105a563dcdfe29755136e51fa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a