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  'D|l ] HOL-MicroJava:threads=6elapsed=60.907cpu=268.232gc=8.924factor=4.407zXZִF! []ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^NͤQjtV㸽|\:lp Aқd(US%(:gWҷVQ,:Ϥ3F|2YJM]?ێ5["zhgCVUgnX{ay+YRnDgc S\3հ5nϲ9I髒fVG (چ+I\W՟ PΓd j"Lpْ^juRZ&t0jLxEmpx}pޖ*7UKn , &9=:5Dݢ΋W+iߦdAu t% AZa8c!/PߣeW&ps$q-/yOkK})vq̆Lʹ^} MN|ݑ+ F aPnyA"G8{N*ZZq[1Q65UbC= ΍O9u'6"cmtrtUVK7Qt"Yۤ=tz yX 9lr|X\ztR?IŊ8S+;ї,|aUnԁ5RJMcO"nE ܑ֓K%J +rMR}k֯+g- ~K84/z>/agةyg-+-,xI §ue0 vf8,&5]mo˯ >O<7wG=G"/ bŕBgjɝKu;L9 vvggP`^ lq2"׿ףVkze|Mm$fBjB*k1 ".@(BԝKLV0srU-nMd82iyZ< ’8ɳla|7m`;ցs(wh>\:{{VDrj|2gVcYwZ F>/5$AP!B]8%NwD8wqY"e|[Y=uNS ^Fb"gB/pqSk&\*0JVm(re%KN2>NKS8\-A7ޑ91U0"Ug^k0^V3=SAo |XxZ N6:?vU3‰ B9j (LS>,?tB~"h0[PA:ׄ^}>RD /pp٠ L#<"if_ۚJ95bXƻgS ,y%vǂ-+@:g*⹅q>5I`-2R6߄_Z_l(JGw}}eL,6h9bIUaDK=`7ƿ.X~WgΧfiEzS 2\#ɷv H#JAgK^tPx/ #fEj[$ m\kaڅ8m΁7BIS>M˪Uy, y0rQՔ[4ے+pwy9kĎ4/HR(& _ ƅ<\zs59ܰSۯ 6{8@j"`P1xp`?p~^}AL lZM|d1%2:m֪jo. x+" ^3,+L`T,536ιo2Mdѳ7oHܬ1V=,H@]&Y_F`y)kdrUh=Еҁ]%!}$bsHb.>8/9ѫU)˴`#XҋZ |/Mn@UO{JK iGzns=I(v?ͱ#n΋+ y뒤?/ /GVQ`ky#uفb46HX( tS/ɕ;tг'8qRKgĹgQ5Aks*J|^~>﹊'OJ6ξPCH۷<{ڲS:͢˅ZٺT Q ޶TU !AQb s727)_ >LkIQX+?_1Hj [ =4p+&zUճWlUxweNgYZ7zXZִF!  ]ŗXiɟ1J2oeTʹ̰KoˢPq!/Cb3##k'>8.zE Yb/ZݻIBW;NYK<],;iv2_ N.K5=HT'2K=ph_|w&d8cÖҚ}gH#(Rf-3jlw>VX% Hl.8+}3]~;/2Vf ˶Qiw;: L'ks-y٦4FG֣)t{NǁJ0x%V%h{~6!lwy `$V,:7iBh: fH!x>e}r0DtىcO{8tZ}l"u55KwLN#'oFvSAoW?0\kC ex,ώk\_|[k` ؋jvۇrNߵG8urG?l!A;͌AK}Nc2xw_T~8 f-TJ6t}qx ,v 1G`?ރcx)´DP DiVh%[tYH&Xi?WQRgгF ZA +6M2DD\ypb!ϕp{ILKU[7a7;V&؉ j2GʁƝǺnh(r 8a.dfn=k'Fͳ= fZ v׊d[ƨA1^|;c9bTI"EؤR;rouqg5#Bv CfMBt<ך@ Jy*HX5N_pP#ڪm%'sAO m)~@3LV&d MCijGCZGm>ĿىKA C|ۮkdo:q]{(C1ֹߐO7HCIi[&6~3ĜRϽ_H9j$!)i"mpQNSIЮ]xpY̌ 4?8F$_uU" `MklzF;T>>`t"4(C"99zܭ WIN7ԍۧgC߹ƤfRЙ|n’DzHNlkn2;jnƥ,Mב^ t;*ĎL4;]~gHZH]; `H۔W@8'ˀTojC1cG]<`'7bFb8 E)u'&'qk;[~-)A LEKx0]fdă (*=ौP3?"#a+}u_Dm>}-gӮ5.86bK{߹||fp?80`28i{K(Gڢ;7to<JE9EZsoZI$Nf\Iį<_ 3py'+8BX-$^^C7XqCvD)Wt'dv/OJ\mHjbc5-{fJ4"}\?C쑯K5Ar7D ap(mt׈H|qVV(V_6 ۱2F&s:T<\|19pwd rp"V!wS9 zu5'trc}$R,gYZdd82d4399129968e25e2985b73a1854dd0617962341573a915193db629e8d127a9a53502c8309b6e 9e237ec730f89ae65421631a0a1ef3d055f5d625 76a013833eac43a00f0f01bc7c1c66e403c8a835