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 / D G]Deriving:threads=2elapsed=60.019cpu=98.744gc=5.268factor=1.657zXZִF! 9|]ŗXf1-q恈e*[#M?Hfaw :+/7̦yW g&VL҃p7kQ/1}v5W7[zYI,G q/TM'ej).OPFM\k^O6BZ`#Z-!Z:E ~xQtS?܃ [/8zFSM)=g'@ ]gQ Bd>"R2j#V~]ۡ]&T9Y TH Y$eRQyxl 9Kj7X "lxÏm:+Jk8ps0Ǚ+>3~:V#i{:Yk4|d˨V6#1|caIn㈨#m""|o^x%^Ko)Q&TƟ}ଳ3afZIoބT* $/u}s'WX3j׻VtVFU RC5LnŎW?GWצ !1' fո.0~R]iFϪJt$MbQB:Jyӄ~͌n$e7Sފs |ɊKk5md@gA,RtVv@Y~RLp5s[ oŘE\uVxldϱ0$4u:|--E‹BetOs tkFWl 2Фr9k=?R4P@h(;}*{g +t/ pQ)1K ܎гΈ HI0Ի2A',wVQcDЄK:`mbs_&kTW!)rܭV(zߎ LfbJ{g. XLe՘yAU 靖aq]p yZk'|=J#Ţl-kyN@mZlmh<3Yj-?Rwvr0)Ϻdo@5 2 ,Ull׉i0L1 _ydH#6dӭ=jFڙ\B^+ݯLjO;vߜjE],[:9)كw{#X*bTlp513O=nQcR~uPndjjFzѦu?;9]zk˨՗ }i/,fa ;mځUc:CmJ?&[vG*\h0uDWׇdtB le{v`OݸC~T*9ճሕ2e}s#7HbnTVv;xޝN#R U r#.$C< oA:A21Bar8B}@ UNWx5:*\;o=9a\3 q/̢Xir c$uH~-9ڂ0H,6$6}y?.WئZiȂjl#?8[`\_Ս(^$'M0\.䳆H'E4F=&"*N0kx7b 0<"tŻ@d 'g'.lkf8 m B;E)\;@tɴxvl 5C[x/$"?2"W׃lEWS]t*"5 ybo\0XZX5'NRjc盹xm9؊݃zJ4.ɱpjwŠa=Mzj -I蹍Jj[=.(w R؜([Zi&h RwJ ,[gM[xgJR<p;@_Ais7&_q˫Dml2w_ÃgE7( Cd.=CX VO*=Æ#ğA0Ov 4rj2@O0qve5EL1 goR~M#SAҝ\zg|c<47@`ΘvK_D0)Xˮ"Ai.þ VIu`%{b:] sAdKsyG|=]1k "!@&_k]ւDrK]JYR2&1=o S$2dyHvc6glQhv9TuÖve.a4.ݫ*C&65O,hV AEYZoWjJ-'MP"0$#=Ǻ1@J!I UONKVnh?sq&m2c8<rMXO퐄]5\f`tgB[B=ب(k#^U=)y WxU#r,1VDq?w[{BA.@+7{樊}@>-* \<FzqL`C?q٭Q$$hun?B*~>Ϥ)~cnFˈ㬑"`@#^Vh#:{9pwˌ (lFG.$'ʷ][g]j|d(D{g&MY }2 FݽX"@>`-ůʁnK3EVta㫏eN>qE2rr@ۥ#-8fDS5ág\&/zюTIww#M#!D߆G?0d*fny̳C +v\8pgnzXk]EfЛT. T`Fy