SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info K/ $ ]HOLCF-HOL-Library:threads=2elapsed=15.241cpu=29.488gc=1.344factor=1.937zXZִF!  ]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-I->+__I M'>4=.!0vŁUlun[yT~.hj!ɽ.Ԃz|7 k]2IQ:/7;lP ;:cϸTxV ȔƇ (D0wΞw)HNu'a0&³Y ea|mA54Y5X/eDD#u ^(aB*M'bhyH3zټ<(CB`='2aX4[-lv(IM,a))˺ Sdkl  ';gRW4Uv۱  k4Fs$Bi8!ń(OH褊~'K0Yr<ۯzB(-9 hF7c\>L> M`HQq9.M&F7&GByVoIIp6X0[XPBt?L)UW~㕱UhS]vѿ|.-+9ĺ6i?tj?i-u}=YU˲=6gVscLz :',jJWD7ۥ> ]>}ݤVԎ'z/*  / HOLCF-HOL-Library֑In?7lQp<׼, 5e^6~ U`e:Xbq|~b)/xxcnCV\V `EUx9? rw p5hJ2Qc 0߂Y:^WM>$O颊g5G'Î칁^˖*89f+ž(wBJR`6 +)y_ޗ›Q]{,ɖ'9 uq"- 3o㺦+qDM~Zt^1/6 ŀN>33[<$;U`D?碋[n{X lV84=g-Ʃ-(vA}}8@) MK,U!,F M"v5h½C5JhG ET]}y㊸2X1 ?W< ʃ9@EG|g6oCԹ -xⱉL&w,f;nQL !\kN&i.ACWwd[|>A +nods\G'z=7<'kCwiFsY@xYuA;hNBv$Х.x(¨ޗ8'aÆTI0c>" u5k;F}s)ך9 LW)D+"1q//Lj[@/KWINQśoCr/q38\,OA3p]3|~TliZgڧe\O*%gX9 /r3Oɱo<Ϸ L)'$6D[E&U*I`Yf[!Q)\K&.9{146݆f+OLh/Ş+`6öd͗7 23=45H@+~ݍe+ERܟB?rv#Al\y6~A:X!bc]ho  wuu?ߐoMk%At0>no t\e;ZI|8m6D6_H{-mT¸˒pQrS0$[L m6fW\w .DץU/@ AX4aOۭ:2>\\p$/m>e34 6v⦬Hi;EgTHnN͉MUP &VziOi_jh14l@1rV*pp#E-C]2ԏK H6%nv;hxd`bRyȀA!="O~mˉ'vh0/_Nz?}P/({q%˜rHi_8.궛&y7ݘl{9ʞR z(Isz!! 8/T@B !yË#,89fj]Y/d/8u,2[K^,ZȊĄ|QՒn̰$ kԀM}1+/éUZ :Y8'['doG$[j ̋Kh~cLZ5_ ҥ ApҡӺ'&Ɗi( VV5r?b'ҩ_ s0eBqO,JX!׋=[9>N1Mk_VԄ)O6xmd_}?qrW]IS6^D#]C0 ^rϪW^eP'dV7y_$ niUH|\ d̿z\~)K!0j}[(W}]RV.\jf?_< _*"E$Z+  d81_sP؝\}.GG vs]Q1`{sU'89Ep::<4.c7润$̱gYZ7zXZִF! F]ŗXi%DQبjНo[,Z+ȞF1t/]t!4ȽIV Al=G~be8Dಽ(1\ R)7kEFP-PG$.=0+YdTñUh^!"XIBHn@Vgj>#ZA_~Z}~~]hNcx̏}ijY8b^EL׌a ;3b8Uи)|5M܏?oDAB㺐MH5ؖi-R/*7Jp2D+9m {F9Z.@̊꒮0Kӝd[nzi%?WٴT%uTՌEuÈd$| pDà4~Se&,fU5bƖ@a\{w4߈ yB>wσ^dw00j뱨tĕ4j] /SmsIw L@N$L{fX]<£[2lfywekso2fsC.vxl?{nmvEV"(#Ej5+ lȡÎx%DVW+1uKvƔ8_Hfgsa=20UqmlwMNR176K@Z~sᦝD8%aoi@irB f|w%a'^hƖ'Ew]408]쐨hQG6,N^I8ҙ2oW D1Ng=9YCѬUrs3UL<( ak#:1Ϊ2lUZػybG?*@I)\?pPKx]owxXq[ WEG>< G 4 ):X2A@g]^&s>lfz.ѽO{ B_gYZ0f83e9379368d232af1423c3a9685e6e1cf74f88 2d0c54c119222ff4b9debfcf8cd34d5dfdf7d751 34221437a109a5594ba7786476b5abb5979a2647 4fca60e691e6baa8823ab45ef7f6d3b83c70723a 5115babcf82b51329a1890394e7d219241d1cfc9 5f3249c9a2080df051ec979e03e69f7b6c37b568 6a1b07b082500f00f6c3b1326fbbeedb536bae44 767b848e899bf51172cfcafea6b2fd397e8b0312 82fce86746f9061205d625fb926c1da3b71e3bc1 a6d881014016ac510413e96c94577bf126ea335f ad3e0430353cf9dd719486ae796d190d5e13f04d b9c5555005d2457d66592f71382507c4831b3f89 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 d4a744693dde4b2b4dcd1b586a909e4d25f5abd67df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 7dfa15ae648acb975cccdafafa2f6f01e7fccf267d96c5d824cbc916600f4ffb27432ea0dcf87b94