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 22K LjShK');~WGp>4XQpيygxaܦ  S5di”N> x"qV2̗Ф h mk{!!mcbFrjXqRگb\/N ( ֑@4JZd!~'\Ozpz3,f\jW5WYgnn.\nFs*?B$}CSo\ti+$ jyO8bM=\cX8O)&D,5&7IIHbMN-}_fiDTaf.yk(MDm9~%6ߕ XtE*Mc rfR n{Anak 4k@宷ew͢J-ۧcfPC ?ᰯ:@@+ ޲cg֮#Rmrg,-{Ncӣxchw1uWRyk؅z [V?WJw)d ̓,R`c OSG4~8;P|pkM.]K7oQ .@@9e`}xř[1t?R i4 4IN.AêIC )gYZ7zXZִF! Æ `]ŗXi%6{Bh.QƩkB-h#X$R}MM28>MvՁ| Йڰގad~tk׭ CSG Ə+A+|B=g T_<jspNcv:\Q+,XwQd0sL wp?|4<ꦻcTߓ ?vA{z8_ E# 4&v$Ph4> isj*eyƊZt?)`88oj}sӯdKE{qAP9I ƻCNc[rڄt2?<}i—IZR C׌ŸgG"xW(ըͯ:lv~I_["HlKjt-ty y2^ag}x99 ,^4]JGd,qH8ljSb}A(uA".κYAet<H! L0U'~[Vc Xo~t\>.,q(*MG$F7'z=RHe7crtiCDPTi$hySJ Qw4Rl[IoryPNjg)!1\$퐷?Ev[Vv9g|Tڷf]84B)OF測shsV0zYդs]u.{ʉMjs *[?<cdXcI$0'J4_[Zm->8YZ/^v8"Fk?M4 xΐK#p`%d;s}HbZixC1!ZW`k,aQㄢ~bW*D$WZq}V#Գ܈׋XJ؆]FS\~n%۶ao#S,5D} 9>ކ0|a. ʋcC|,X~~ Ά&O4[ˎ=2;i;3[=Hf!Ѿ 'uLhT}ţ1$8"l'U\K YPA bEe NtP _X&mm«aV }\YKbϳLf40xAN)XЩ}P. Ό^_VN љ9ڬw#϶b 1 {_ͤ)qNt3 gZ{Wpf6oqÜ.e(mM?#)qg Dp\y4y&HȉaX !i_̡&Մwl/n04#˄du שg"2U{Ylw;GPik67E1Y-'x .N@[|= "R3 O@ڹ#D1Ip$/-zt5Xt+q瓚: Q`3CY;P[ 'ACD<]*73hSVִ L{QX;-^u7"fZ uj+%-Ys,]R#Ick ovMÔ;G[yN!1kaA?N{+, R@(Nh}8pfsy0Oēw=keQt͆L8^ir4 &a~HLpȓԍtĢ)kpjBNo įHIl[87SrjNy#jib:Ny !%Aۗͱ~-φAmh8hQ=K[{L oW0[#2w\0:"KKx6{1fl-~G!"q>9ӀIͫ)=P,GX ˊwH4~3潠Bq؟o :V"6gYZ03faa2614003b81e0e6351cbe89bbb88b2b39ad7 047d033174dfe12ff4fe7a1fd8935096a1a13bac 19e9e35517a17502088c6d3aa0b479cdd6f8e7a3 df52d5ad8bdbdc6c9c56614a8cc01168fa289248 f0145f4b385ca5f25de81e069854f2b09cda4215f0df918d4045ad6c60b23213b65e87e41842eac3 e02038ad1e9503a02a8e11b7cb457877cc454f98 5e2d9fe647698eb3de122778d18dacd4a9a66146 05218989694d9035f45149cfa16d3e890ccdfc57 c96aff0ceca4570322c0f2c566f8f9648c4f1a7f 6466221b7e6b4e90f79b67ddcea463bdc011b06e  Lp