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 &-$|t ]S Density_Compiler:threads=2elapsed=102.196cpu=201.920gc=4.940factor=1.987zXZִF! eK]ŗXf1-/6vRZ _j 🁳68d0 Xϫ wߏ93z.2!U}kqrJ/}]DGpQ8$Ĵ~VT5<Um |D8y5VĊ29T0߰|1L&K-8ov+|=qcȢ>ӓ|-W(yVus-#w2i g6 e6 2oX.z[>3B^Y(N\zU&iaȫ$!Ym4AMg@"So5kT񤜰cr'`م+c>;,v|`p.* - Density_CompilerY"]xB|A='H L>bއl3sjNu?ӌAh0ƝYPUxX!c7~[rŎ kQ)эF4+OBQ GF_Ģf]X]{'NMm> #h8=TAbk>W xs0rzD)ܨ-pky7+ч܏#ykbo*;dGeK 2{mH.FO MTȨ5y%0S EQnC s+#apF]8xz+1G5GQcWt{l~ӑ rYa$+klRJh 01t`L |'NֶMXH̲|aߧp!\e[9(ؓY E0!oݓ=#]Y47Y~EvN XOfZxÃdG4-{YN&Q/V5 mkavG B1sx )vJtܺs{φ98zYע =NQ#5J&U< y3eّ)[7[{D ~\l]rY}~ :3[A;'U)c&>pr C|>7oI+{жAQs3qxbZ6.D?:C5]FhE~6}V}JD>< 6?&e'g$kb^qHc7QˮOBcbv/Ho8(JNfBn=n #@"S&wPatJ5[[5p/S|CS" N jK~(f0{SQh7.hKר``1H3?-Aw~&; j ?Vo /aXhRX8ȕ5e 0hGh]xGT!Խh8]Cx8iĨÈ{g"@ZPP}k8Eg-\)GȩQ랥hРtB@_NzJm$3t73$q eˊ)~<\)/Jp,.q# )a`g$,Zy[rO.quܣd&ߒlZbvh~+h:o8^Ǟ @SƷst|5|il%Z}ډ{XK %m$0IJP2xcET9J$ Z2kx*8 a?sucZS㰬YoE?nͫ`=pλرX|栽gfY`Q )~—o p{*VJ.h Z-~m*UƲ˔$x>Ѣ㙒D'p?E_ao6c,wcOzl쟱gYZ7zXZִF! ]ŗXiɟwv "Tm#㪿gmﺯ?4`Wl@.YAu? 6oi?7|A΃I __kB>XM}1cO .V&~ hoyIIT g5ta!pxO$:>iO>-@=Lvuly4[A4OX΢P\h# 0jaH?w4pK"}-2 i =Rj ʽS},FT\𥣅?%rE?IEXõnp+1:9aoin/?%A~FS\j)*ZnA~ĨGc+ epTeZqИ%ݓRPSj;y[KIC5VE?2.vrIK$P,`Km'g'd3D%ɍjOfy~q+ɒ穀}cBI9XW#,ӤE@&ێ# u %GR dtl#k\{ qE9_pI.iTsSfӻ/E/?-A0tQ5K20P̩g~؞]ϑoM{rظ"^w=8;oei<4qWf+2F(+v1ƃPr@4"= )kU N t"'PEz,cxo]$* D٢:<xnh%@|?Ȥ R`8Zb%=ː} 8,ךJ:k,o%bq[x..[Fr) ^lvq^h@1R4ܛ#tc vk=U%q-ABa3xE=GskF[ćdҾ1DSJ`5=Mx@塷7`b? @}9ը]KT qRN0" xn%$sʮ;l[ED֝V`a,~19R5*`v_zQҜ &R78vMusҷŶDE;#lBSXBe Y1#ay9 ֮@d nos4CWwvaz{2HH9 ΂s3 Y@{HO6YB1ƑmNCSRq@.IOK(+#*{v\y1m*5$STx@5*[D˳s"_  " jDGOcU^b^@]iYYʫt ~XOQQu ;>@.Cϋ;2OJgoqW<_2 Hя=Xn:myEmQviytHp؇@kMfab7%wBF h%8>aOҕw7iQl]/ `<" O9^ب0,:h&[oѫ)ze|h LuOM6ԀĪQ[& >cVXukAOπbYQ3dTZ}{Lc9J j| 4ʢy mCmFQ竕y|`b*\ȭ-?:uk^[<2 U& XVK4ݯ|AE5w<BcUJ-%UOOoGcW> vzrh ؙ߬6 s'y&Sr]㎱mZz6tg-MXY+<6:SLq:ǑM]B@N.ݒ:Cdětvo)C,k'5jEW<sdz9p%ǿ aGx57vN>n<0Ƥg4 _D6mˍR{\sٱfPue7jP{>\?ٺV/g8J#+]byK-n|:iHJ٤1"\JBRo=;Xܝ}O}uV!51}t54gABkI֥"Uµ7I{mhH\urž"HJ[HN^mh0,7`ۯdjU/2KO5`0d' naw5sM*y|f,dbYk od%?{CEX5&ƥFSߓ?ְӯ=CV⎈Y 2k@ D2n )C u]3c,/W"¶KvY}7 `Dق~<_`oۼ)r7d?ؙx*r5I*垌X?P@$[֞+ ~OܽArjb5±ã2ՀBHqD! QqE FJ mH{! wcy\'\Dn哹iaw/4IW {{fx,oI"臽 31ڞvxx, ]+C.?GF8ᄫΞ:xzI]fbh%3|]:Ͻ6ˉ'P|>aHq)(#BmmUף!|3JE6\&Өq!BgepPkL $7qzwĻsTпuKD.S=c_4C'TtEնxHL0'z`zjN D1R2i}ZuaQz E}De|FtcO{ׄ4 #{LeXjj7Ed1yZ;z墴`F)NrP^vT=*8EDJ|N Xpm k;iQ @dJDv;P#s{ MTڅ,ZY[=+&`WgYb.j_W ;12FO,f6> 9,/(s u;T:͐7jlK? 3v+H2Nh,㋟9̘ /czQim![ħ ;=POj5H19 PMJa7,3K_YwX3SRf )i\ `tԮUHB0zֿ \Z˿OGMJo-(BU#|"8gg %K V3ji:,qgYZ2298b420f532490c03819757a21f02d43a40f1993bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e 3109ebb80bade0add97a25bda6f087f50eb33144 7e2e0eff77da80b156d0c2ba00ff916952c078ca