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 T1 4$ / Recursion-Theory-I:threads=2elapsed=16.032cpu=30.112gc=1.244factor=1.887zXZ 1 Recursion-Theory-IִF! h]ŗXf1-/6vR[O燸$)Fm\ܝ&p+ ?:oHƢho4 6c i=.EWC0Y~C:@%begBttfQ M޹c%!_OM5ސsҹ//hYfBӅL IW^ypZ1w6|v!ݭZ_EQv8-32{r(Pdqpˏ!5 gӇYenD~ɯn<:A\ L@Pa&6D` M?n(!?#HnW`U|2a'O5h!AZ3VV#kmj9^ఽs[,P WL22ooW2ZYNykά#FyBG쯒:y7v{.pǫ6G\ɩ^Ug12 @dJVښ:Wm ZP`9pe7і!]󬉱G,f2MLew0Sy"5,8ؕ iLο;r̯gW -Џknj 4jt$~@,r* ,55G`9g̬fn"$=;BwK2=-I ^L.G LgNqWme3N*\A +ݷĕrēt ³ylAn љ$% ߘTv,ˢ;6s`&WJ2V6A]lʪU9p_h;V=hQ3Yxve۳ȳϳ[?('J'$$>KeY6ǻDR,hG, /mc~cɋ۾Qp<;KEo&^d_5q+'ՕjJ n0̛~d(  b31\N)`yYAh*}M3_uA w0wIzUHFFA "~e|5j>#!H C1ӌ^$;.ϨPiETv>X+qdνўqn%l <=^a]5?OP ~6KcQz("b%A*$([zK$k,GN0E̍bgGqTu;jRE$`sa2L5p޻].^yL{C[n_A4nf{iY㏹%u]OʿA8GfB3~cF ʟ3.Q8X?Lm=-Pm.B-ڞ'vb|Ƚ^nu T55ItՍoh)Gv6E+xI. 7xP?zZm廘"j :EH,f˄f6VaN1HAbOzl^W`S(zpDn5 DaaZвaPbZ\{دb:|ZՎ]]_DI8 /}`P%Ifuf @~_+N >` TeYO*h: `ٺ؂`FaytH+&:FoJf.z}qј4@L SAxJV^#[gv %gi#9%vx*\GfH}A]<#U@(#:ImQ & Y)z,MuKJ!ѴhYܘ*īЕ}؅ޒUpWC`+:0V VM ĵk|F ?D&1YfƬnDVGƀ Rı}>F`T(^'3id[A ʕJUoF&*JfmJ"JDEi}ɣZ +ps@[{Ϙ@A "ͯ tUkҾ6USz#M;4(YXU:?N[kx [gYZ3835d96791c5b14bba726a3431ef84e6a32eab4a 504c2bac6984bf709ac19274157bfd1096dd586e 654d16ab60a6a9d6431a6615c6516388350261e6 7aeb74dbeb2d1f6150086b5115b38729c66b514c 8223ed9d75ca8855b69b3f06fe39b4f6ad9359b0 a50d86dcbd669eae0b0b37336cc1cc3f8c294932 bbe7c0fc70940cef12f7ef60a43f50e633be0f8d bfded3a5d04c05bd47123a1a31b719eba7638a8b c1ea5049b0e2827fec073954f2b7a4d7caf4fa75 d0b2a5c78646b6a66865072d4a74a3717f74bcef f6907765bd86ef922b2b6fb287ff969df46fb1b87df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56