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  . .G#t ]% VectorSpace:threads=2elapsed=62.581cpu=102.884gc=4.560factor=1.647zXZִF! OY]ŗXf1-/6vR[K.z YI0`m 7Vwt>^)ߵt=pUH9n@t\pokTɋڕK}ž%NXL(X릭kH]Ņjd໒"VW܅sD*{X;`q<Z]4~}7DGr@R䇢M8~$׸j$~c ֝!Ivq_<'ΪlM"Ǎi *7@&"|bl^l K6Z˿DE~m0U9DSF?B~ S'. 5t=~G 4ߏ3IQfkXY*WΉ3m[w?ژ|ת~觙 &4f +Yv$ZF%((ұPBA`&%T8ԱPɸ^S!zɭdi¤zj-ᵆ!zF0 p*h1 fo^qq@Cpb8L:aiDL&&slYΓsGv#fJ/eVEKu`FОCTCygBS=|q#m xC y1R-skbNF V/גi@[̑br}E(兘3 uWV ,G6g6ATÒ␧rYvϑ)u\]0;/%z hg bEAN#;35-/Ho"AssQ;{&?U68|#֚.TxQ7N 140Ao+ޙ4pBɅl5&5Lh{y-,7KIi,˳ i|lBC]*DfQ Ӥ2Pǩa, 614\Ձzem-Io։9p%\BU.Oe.q4w{|7׍lBG[U42ՏknIx]^z= h\|VNG)~R}r}5뽞1\} v(^{]yʾVmF׃CW} N(Yܵq TˢgX,+iL%Dqc j"YTK(S;5a.9YYA]2mJ|jgqsлoPh5ωaj2AgՅ3G4~Ƨ"wu q!kG;h # VectorSpaceE9{Zn|M¨ǭ) _h P5P5*߳~&˨#~G垸[FAzKr ޔ>>cPabuIļF6[լ,`xe=k\m?qn^AoCōm&!@#탅\\i?p ] vMJ$}4oQ彻;q쳙0 ;X45JO!꺪álH~CgG'+F@HC͡n{h&j2 ڞgYZ7zXZִF! + s]ŗXi%6Ar5])lT7o"=uyP7UJB% b9MŽt;:ᆟt#D8&8A xI,`<^`r '}7h}fʘ}_22-$U%v&%,;:gE#l%gΖ?dt]cbE']-:5=ghI$M#C$9Gb?W`4UsD9S3@t:LPVR*Dy0VBѹW$NW Yt䫝'Uؐ]"W/u \\noCkXb"Ÿh6&N !6e u M~KWv&~Z;YE 5 HNs;AO*XIcsLȝl:93[Y˯TU}%pʖTSOqp#XTqX|tu" g)TNbQ&qƭ"'}`SRj(?NJrڍ" ]*L5Ҷ, 8""^FSJ />^A3⎤?"(]jiU V.0J EtV! MnHfG#Q\c$pǙҺ+ rM8 E*P_$uҘ]*`e l+mx>-a^H4: vZZ˘^ʇo _iU1'JYQnm_1azF'딄xʠ6 hd*)CyEq`.ՙ.`JYӸ9}bp2L(cek-il*m"*} uv,M#4r喩viZnEț F{ץnz d&eݣjdZ[E[T[ܭ[>#5gў eh^iCtdQ[ָ|XZ#$5مC춏7 6yb intvi~>!ԮSr؆ytlS;:ZTŠİA{k^3O9]8,cwp?F @hdhG|U h]|Wc3{7L_]i+͸rLeߚxp0JruXsCQQNڧP-iN૜~L9dJc % 懭Rgί6 y7U qjt?4>@7`3Y gg17p~/BVo4v 2b>aߟؖѯdhk /qe<4:Jvn1þP3b$Y\WwЇ+?еF@ 0w}ObAw}@^`鱏 xl/N9vXc;KW+.EL+P OU%o<;5/'?{W!!U([H( YfCeq|@)7@A=x6iWb, t}9Uw+*B1qWIjq=d~^㶞z)3JlOM8 8-wF]O6ʫ[d~%Ǫ=rцuc/~!Gb#pWd'7RT$bUsδI9*kUPguF\ٗG/Dj*CAs\;|RdG3ِI pI’+:^i'gnZma7~u6W?HHj>.EUrG?Ǣ>H>Y *}#:fX:-BZsjcaebznpB 4UeiMA*L$VCWM\t#ݳbR´̈́X;d  #(b!Hw7!ձzN114"HJP N($%8`tx C8{PQFb9 G78fNe{䉰tɆFff h)Lgi] ;r ̒DE$Υsn< e> |P/VpUKR1l,X w19 X݉eMP̯QkŨ aM BQ 2;fHg@4%MI'u/9W@zF薋f۪RF.X+{K{SYX@T?ۉ\I^_}QS;X|}subawnxHi&dc{}"Q"8Մ-n/H_m-qԉ} %i|{Q o~j%k&<#gYZe885e604bcaaf0b3a05427f3af0649f73c88b482e003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 51bca5798766ae8b6082d8e3253d02652fec4031 a719a564881bc4392379bb5b59a6eabc6cfcf740 0a0b61ef0e5c87ddf273fcbd9d26a78087d4bda7