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  ?<14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(DX8e7Be-6u&~>#YlE{{DPU'jl嘣VL]͒Յ.~ T_o0pI "IDW1Y{G6_,7t*w}PѴxoR!K<0O3Q~ DD\ C`fD5&WlmH+DWDlk SI ʝ0y_'q,[V^0MG֏\fF1 t|ju\ F.ToCGgowE &ϣc!2wհ7}>H)LZs|JD![OF( ;Ղ ]gA~)4ۣǏ'@<ކxaED6]|>L ~!H8h1nMR9+ 4rzbq}\;2J bcXcy5fL #Z c/;J-"^R_tK|HI<7ӃZ% 딑ѣJ3بcEſƢB!mWgĤXs*wNhL! \(=@M"ɳ<&sumZENSbued=Z2mF?:8D/P52ԉhN0vLNm8gC}fdxg$ɧrFR1 6*{ ? HOL-Computational_AlgebrahNטD¾틑cz"y]ۑSԨL^M`ӪT܊8bx ATMskPWK/ Q`Tz g+m0rL^a82k8Ks`Gt^Gy#o}ooۦL.GuNEH Z&H7OWnC?OS]J儅%볺q[eWp:-4Z8CvB)]l}v|-Ձ&O}CW4hs4V6=l@lMWSTRMYH )4p%[N8}mHS)*e{NY) =:BW4G RycQKm =1h 飖1N $ @1îZToa?eRAF *#O^u۴iy![1wi$Y3 [$ ٳU6pOݒoAt/3U)DC'leGm][W>k:AjgFHM@tUugg4*&MȪEm+iD2P˼sw0۷oJS!C3Iqaٙhk1K@ Y,ba#ZGQ}!s?Uu?Uw|  ) G Sn+lg琬4Ϝ<8+Ef0^{i]u+m>-8[ |LQU;wU][iB>^B3ռyг=í{<ubX`,ӼMU/gF(}_?]ydvM~?ַ2_4$ic3Q'4hDը#Nf3V?e: j:45Aq1{k .- kN~Fj3hC1kLT*݅;n:Gk*?ҋ>;ku cqk9&J*% $ Lq|DccﺥY;ĺ[m }}$nZ0YDc+!rhh4$wD @E1 k768PiV8[C2a#k4ƈp) w -CumuGoĭohѐT9լ7b*ٽOOL`R"KdTtZ@1ni*i][덚s߈>a;<{6@;!!E0-6]!^JH';6]?v9xWknJdod҈aUmGs CZ4 {[)i*thW@{܄3l( ?Lͯp28Z칀0x)~R}~jW.(1M@+{&\-^7%˒K+XP=*780v{6-^'1"wGUƎҁ^}A]f*E{[!E@]EٰjH|B?$=rmS~y ^HlBt~셴T͘]ZIO0CMpY&*,从5Iy_G?]?A#/ 9r{묎ta{A/z=69(N{ ńsB̤ vqPm;f8HYF<c*S6yE7H@{m;WclȠM_mȺv>oǎLY \i]ⲴVx.ufoYr8H[%AQl$U֭4Y1G߈XP79Z _9!gYZf96cef9ae5474b4d187e469af4d85728d48efa5fb3385753884b26aaa722d60ff4b4d3face84cc7b 02558fe24890e2aec0fd161c9c474ecab0a8f955 07f83328c31812c504ab3445805e724c3f0afc25ca0c5c7362b3c4c4d77c483fbe37a8f9e55d0f55