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 1dl< ]/ SIFUM_Type_Systems:threads=2elapsed=66.199cpu=109.132gc=3.360factor=1.657zXZִF! Fg]ŗXf1-/6vR[\w5G.`cxY݂Ngi]k\S3甼IX-vm(tRrVJt&ۆQ EeH0:\P%-ͅu&*7k 3^ 8U= 4HXߙ]Y(oM|NA\ݪ:~dc 'Ϗh=Mű/!Q< z֓c_x%>4QB᣿ӝ1Y p&ɐfwXqO!βΘѻ+ÊL-2{Qtkpa"N˼t3yl5E*k}yR~Z,7}#̋}bmJZʑ&$ѝjmnxF^SFCUvk ۽F(W}ԬW5nEA }d@|uYYBRj #ִԟ3^۾os}tSj[Ӿ(jp*}jF L@7{TB]:L3ZΉH{+& /27zqRj_ A8|r/Bx(RfӱgYZ7zXZִF! J]ŗXi%ύw4qO*_?̓ڤu?p Xhs 1 SIFUM_Type_Systems7xL|Oxum;똬/zoU@nb}&g'+{2ȑx;P !x^p}A +16֜7k\Җq >ECg-4NRq"/oc:s(W&KB\@KBLio UK1HVUnn$KA4fs>IˁM9]Jw؞Dz8M+[*{;MTWvY6"OcM襏6dC%a2ګT]NS^n=n$:3:s@Q 'bRuDļ3n!/1ITXJ}v͎y;S(9y^tN=SU&FI5a1.glTt9M#4c2 :zUE蜾1 !nƽ,MThȬkw;J-Japb1-fp i9`țn T(#85KL9؇^Y0 |I`–&'HemcdzmzYԺSdG90 s9V4e5Owکfb@R6K#wFھ%!̵8El%7Ԅ GxK v2zc ~=V75n&ta# 89 y0~|.`U7=Z !+QOת {} gFl ]ɍ? $tg _+4=BcoJo1܍evJt S>VvM~wgz?NF.TvyRWͧ[Hn3vX#y4JzY(=}{۵놡 i?o(\V|S:ߍ cq,AX MN?>~k6f;[ _!mU[z/; ~Z.Ug(&5Hf57 ,{k'Mg_K φbTe'Y-@}@F{A5Eȋ@2ŬNRMzwt]*ՍKxRD vu͙O|٤eu3(ؤ`'k}@h )TqSL:A3nUDl(Fpk"A/vα;KOfGTjSx!Sv!^Ipy=yGSih_ _ud.b o CεL Y]D#'|eaMgj5- >3_K=qp#rU ^j1kWk9KJ(=BqxÓC3r_(Æ^PʑC6XqaڳFp$,V[DA=4XS0zClৎ~6Gbd|/8*2Sr17Zoo^/'ZP,_E33 _i/%\eC_OpcZh'L rw~m1Ҁ١[|4KDH7v"'P#sV|Ygf"ugtsGalVҕ* rh6"+_Te <TQo{g1)6d8Ss!bSGvN}`!܈`A8z(eeS_X.E 'eKt`^ּ3u7?Q*}zD,`)lH/띫kQB0 a9G3s%` ˳sMw=j)Ⱦ9ۃ᪟Tўypq±/{6;uh (Xz,3͂e)$ vp*e$`)ܣs!Fܭ8XviL-R7m e%E>e5Z!9ZF@6.gd2OnB༇FP6":YCWz fG#XPOP2"/rEf1U勆Hde2Z 99"a'*b|2;Y1peLZ/q5 qg_oZi얋JUuS@WQ7$bk*|,;Fڶ(=!|_? o!Yb`~J -4&0WXtF6d1,cuH!5E9gMEL0mVOq 237'0 -n rW&%ULqA/3x۲heZ{OӶ_(;?m#_&@sA~taȪ%,u<^SE(O]+z1ZǵpA],~ Iw+J͚EϚ Ki$85MRb9FSH}bܶ  7rdoACIr$NR1-Ma\pꡙ̨M[lw~ljktr,qb]}a+{HcMǎ: {_k?`w؍Α.zKM><^q}Vw$x nR<C=7{$cO3@xr;"QiA#{ʻEuȞT=is0,^VXQ C *go9mN5&_.sHh)<\Ho{;#9nLB4G2y/~vᮌZdq@ {c"%%_#ѧ]}PRCOf$ ڸNdD=ܧK?k~pkf{ XSY}FAgZ=tl1XyaZ$~x[٧Njxj+w]}4㷇 m ZEIN`d}u @@I5 T?@|gvIj  SڎfYkm#+f!>Ę}ڬkwKB Im`'OwI$Q\Jt[I֦pk_bY<ʿԕ`~YgYZceb9e7ed541bfe44a5a0bfa862439f469b955365d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615