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 cc7\< ] HOL-Datatype_Examples:threads=6elapsed=81.620cpu=297.272gc=26.832factor=3.647zXZִF! Pe]ŗXf1-q恈&!&ʁG_f @lEZGwa krju\ KQwrnۗnU^S?>nbDV_pന<%C2(Ή:UV siJPEkZE3g.xH۾{Ttn~fKh]%)V[j- R¥ϋ_ϜA zI2Gzx, Lr< f3; NndyGwQ{J}NsVM !"M1 gɖU띔':L'3Vr6X XE1W̴bn;Z㇊_%{`<hi'sLNwXO}G:tEoȲnmQgm*WafJJw D4))"js2H[<qav!,IGU>q4/s1EM#äv,@4Y2[טՅf/Ffދ-Pޣ3 drdϿ(⎇@Mp4^BeW$8ɬ,iW.17h[R XbW_VZzB#4x3 9DzOФf\L|' Awq$!<=vs+ÀPssˆY5!- v FƋ'L)5̤MI!L%%jƤpGVsx:c:u"z) k[xKq؃Ϫqȼ1blZ3+2g,`d2K0]0 ʠs@\/"z_Q+-qu#v_"a5b{3f7.G`gITd+)p me>55 somb9Zi:!fսːu#n ށ+DZ%h<AC?GBaӦRq{xpVє]Z0.suȦh/8^=՝H%-y]/jjpS6:MLT;!vF ZaPfcqccwii}v~ jPϭ?K7`(L5vũwC <7Ax6KBzu MBEvxi{ ̷L~ qA Ch9ͻ;*j ` =(KA{6*󀼺 C}BϞn;cv @᫞C@G-XOsHm?fp;~w?f9%.kD{?+;pqW08٤=xr$[uruu/1+_X~w|e V+?3ȤEl6?~Y gag9h?iXD"a|9o8|l:`XKoh %r@&Yuzlyu[Vx۱՗_T^9C|ޠr1lϊJw6.a>T$J0V.;KXcRroTG*- e0rѢu5 ę*8hha2i@iWx ۰&NmiF-nja4\@H2;&5U eQa VΨV M=z9:Y:71 ^w?Gp_p@ .j䬉`v@rXΝ"bxW;Q ] ~W JV+LΊ3B.fo XVY՚ 6IA]adZlmVjrb!KT/gIҀ $J: &x3Oj_L|9D;D ӟ 7gYZ7zXZִF! uN]ŗXi%=ջ3g?anP)}oY]i q)a"ym8\)a:eSl$O/_i8::q~d: t4ě&|wz!T]":ۡQ# 7P;O_jT>"Bwd6pBg\/QfWZ0}ڎ]i=Ԉ KeNTA/q\iſ'mEd)''skDcM$..*e,x s50бDl]H27S-Tn86zޫb" İ8_c/Y5kX5UVHMa"5J8~l(0uLP~çh $Da[3?TҺ/̓F8˺-W:".b3}g9` ܷ怗++u[;7qբe]N6TOnדk{jv YʠMubu3*S۠p&.w5{KC:Gaì Qcc}2ORY v-n^/dt-Z&bb6 ZDp Ç wD p ګz֟qkY>>\RJ7pY+2zBĕ|P(ŤhwWf3jY Џ2GA1'JQp5֘ǘ=>U>pq 6)NRݖc) 7᥀kևQ8b6$, > Ħ_e{G՞MfH?@w 0Е#;09 c`Ph 6f)JP6˩EfZ* סA묽|_kY&ZA ѵ|nIڻEA;l{^C#l14 *o/x#NΠn[EI$5CPK衧p7xi֕L(UDWJ !y 'OrׁTyv60bq/k-sw0菋id'f~rvL=}Nu^7[lY)Sy;uoKӦPl1>2CdT,lk'?S w"IQ('Uw|y7q^W~0c 昛Nb iXLlGmOcet g$g^@`ls ]r6[ʖ vdE E&  +D^Q}^=V ;|ytJ󝙄IQ!73]-wâ!`LeU? ~?Gt[uaU+5{.ڟx]e7L5zb%;# )\E,7mysBŧrN:Bf"Z 7Em>(u$P+-[\'+ObwVvqF+c.bp>N;"MAᇚj+ a7Ķ%Ձ# 6DU#\{9=2ubKbW#yce?ev z!?"z Lu!X[f*8^vsk%Atʙ(⟧9 >EOݦa e7_.N=4dИ>w;N3Zgi PF IFU%B&m-9qN:WQஐgEC>aͦ3)Mأ&>BALW̑@w rIwg4oƉs`j/0rM'ӥ&Ⲣdޕ4df6NҢm[iJs&482Arᗞ"3eS+ R+)Wlĸ܊TݍFyH5n/ {6қVJ{ΓLk੻/@=mH$dBQ{F_SnZxtWAZpN0y)d]҉-DxL"x`~PS"rǎ*x)fM:ف wR]dK9 ́汤#8A|9ڢc˂%spy',@K3U5YX[5IARyeDJέFj5kZS#QfSz▻ Y n ,A,f4Eb̔c+8]pp&BQ (RAƧo9\Z0 9[T7,l-QNp9 έ7$i IMNE69}o=[o|t954X7LoO}ʩE3@md|J^w&ܨ׵b:dpM| 6'q2V)!Qo|T>7A!YGW)dKgSU 4P^͕U{Ȥf7#4nDq֢Ze詝8dKyCDY/)Eޢ ?cMKb;Q%)bdI"@f^`=RT 񖨠aFYxys,G&?J&.E7@ p>sE0V|2NqeT8QO" x7T[!zz>,J-6ӶGĤ{($ ~I'9],G_#KE/j_1?Z;6 G1xSz`wReI_EHq L+Hh1`JO|7q36!#?Axk[݄p߯Wp:W1;0 dJGW <yVn'pCGaaY4lOLyۈ"C5yAdQFYH0_#x@s_Z 2<4"~D`WfbsQ[gR "{َx3-) )qvnP}jru6_ضb4jR 51:3-K,:Zi!%jpp `K0.+O o `/ݸAjVtJΝTk!yֈ%6䠳l(0ŷ=PmTFEl'L?P{ r0-@c dO)t!оTj9reQS%b`p0(3#Qf8PnܑfO\%rO iĀxl]Qeö= ww