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# U/]HOL-Library:threads=6elapsed=64.711cpu=335.620gc=16.456factor=5.197zXZִF! ࢉ]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kݛ_|J4uSE3_=Ҩ '4fŜ:&7Wtgaϳ'b=:w%:U$ < Q4b148`1wןdkF~R7CvI-E5M;ߵODV1V.V fY_;5KٽЗ8˧OQߕsMЗko& }VpG> Y6D(tP Z HUl<q gMlƟ2 >R˨+ 剔"Zp| "oK7^%=-R`"!0}΀OGZ{x[M!]CQlȆ:Ic>{Os3"*~]B#7һ\tKw͞TiPxcr{\DJv8WoKS4qY @f3tsjD0=,{6p&յnD ]m+jR+ZNNW45\ѿ!vT.## e#̛]k3;)(6fk%s9eOcsreŮpX0I -Iб7dBy u+bWEnL \Bu!Wilw[Y)7W Gt?&x[K)"!1w!⻏ AWb[`-_+|a?3%/Mba:Oaƭ<=XO]t9COP?@ͯu+[6n৊BtVIZH) V[MaXNLmxȘ!t48<mwRˤr@r%t$ؗ^Sq\*+;7v| IQ8Ub9;JZe%Ev=~$iMU%N;3Ev{A@1N2BمX6U.:P;V|'wgD{RcKx%&bFd6S942oWǒ8OO vi;tmRpgQGl:XcIyG4-r* *e9Q5䕈~gg.& v"LiS8]a-94"&{%#c'xzO9LgQzM-ɉPf%]eX|}(#u^[ P ̱q: Mey7e5 _EmzҽbZeMᴤbt/SjMUJF}994Ւ1a ]WV(6i w56ܤv>y59܋7US0[80rA qÅT,U0VoE&V ĐNimVwp8a@z"'WC|, OUdWN{GLsuYWK3Kfq,ۛJޒu\r5 a)ϩAS&| Ի|ӯ,N4A$eYϱmwp KޟpJ݂H&Wod"';,g xX mK]w4*"k J:qN-df>8KaOotwI#w6;%9[~D !2JÙwg"U x5].giF A6)B0~ӄJg ፋ<;*N`cCF# n!oE@1oth* Rƀ2bp:4_JU+ H=PJ5DdDQH!^1eCMZ>8q])Sާ J$Z"%]1' 4ltVZV ajV &gFKuQ8]"#dMWRYIN*&(ʻ?3WZ[MuԚ}ҰzX'!]-Fv\cOOa' "iEpp~GNB_%:5DEXX/RC|D)12 wH&w@v DόYCΩ/P@K@m2ʧ18z}RRv@*"c9p-SJ#[9gYZ7zXZִF! .]ŗXi%6T1q8jDLwo-o=R7~3t 0&rc,'f]Y?uO3 ;ksrQzkS>%ޡ7pփƿa1e·$ Y;$Ho<*(bڲB_PH#邬-<AK( ^gk13M'E*^?ԲwOgo~6gRKjaK!DlJ}[zCa9I:Sݏ; QK9_'>zPI{!1&~G߱~ R!tB-q$^yb\x,FBsfg|9 2(IX+A=.q0lZ}/{[R.gcă4A9s_k8vKóCBztbԅLJ=@L4wɽ^107t@ *4 |cQJ7y5қt5txĂ#LsXI3q-u)7+Y|(}BֱL))UHoEOT'3fWT:?J9AL*!wm9<Ŝ6 GDZBw˒btӎ(lu{1w =Sc: .2G͜vY;Vw3%v{Kݱy^\"DЃic/|8 ]j{NNqgf:+8 oS-c cx? ~ݘs@fOh\` ϥok$F\qqYm>|ڊ 03@ZfP`#՗q:W|f[tEg !H5¡飾dW;}PB [ v؜_L7Kn~7PR< bZ*ճ45nߛ1Jf^Z]?>6n>^i{C)gƋu=!wb/A̦d @}E"ǓҥdD dnw:R ǹApuֵacǽK]:e_2NGsv$ ƭEFşc_wzG#oco2:Ǯ#};繇Gsd E+mJlsAe (! [:@قn=LJE*5W0 +kl*S8wer>#@fDo d6rF7&zx -Ln8JR/(Q1 r-0 $ m3!b,Gm+ɂJOYÓ2M\1n M+5)@JJ=};!h \/9WoΛ7DcX?xhJmo']a $\@x?TleiNjC^f*G;wu51.©R[{Ib [wc& ` Z7ڮT2djڟWt7!oHPb-c<  abr4O 3J5Ȝ+)pR0A}"3$JaNiX}Qλ`$ex'nN_% I@/1jXWNܛSDV8dY *sVױM'}[G7j5,(gcŀbPL)o$v߅ m MDUakc2EjOocOJ° g9% XN$`t/t+ً>D؊Qli/4=7kne@3A>c+kġĸsox%Px,P7_3ڢ "EoVԻ@𬳣?<>d$Hǵh}垰k涨J&Q5>"#;h#vt*k/gAP!ث܀ufM#VjBe+"N !>7c{t6= #5A3vSx x޼ mJH>nτ_<t32m *[QZa^i'bp?VnfŘ1J$8aW?[Vh!M~AN_>Z&YHНi z;KG gJ;#ÖFgRAWf 2Bnv.onK/B݅/UW&Oa#J/ń0gGdɄ"$~BkG0% E-ۣA>[_v: E~- vJ4S̹XDFn&V1֓gQ+4^y1f7@ļt_.#o8K'y;{dщXA~yDHsNvn;r  ЄDe?TZLt+>zlfӁ_#N";Aخt>3T3#XMx `5l/}%Mf vBQfp`<6,D\7n׌U;4nԹr} tT~#㖦̮ۡO,=_V 4=.62Y?-*#^P9xl5*V,h>k*q])akwv7½ |U 7W==咻VPXlXl4R>.˦WnT]Aq..S%f~ 5|{ ̴uIK^_M,^nt:={ 6caSIvgsm/Gw;9 ۺʌ1Zތ-@a흗ʭ JHH_Hُ tC81ip>]ߢiZ_#y}A$ g}%铟 M/U|wbgDžI6gF-UygM]놖