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 PP-1 Tl Y/ Concurrent_Ref_Alg:threads=2elapsed=11.180cpu=19.628gc=0.400factor=1.767zXZִF! L]ŗXf1-/6vRZy-`;TS h|`f$ 1U׬Dcӑ|Gݭp4DH4s~j YK"TqU֒'XuSh.٣Vt!3h*Dr?7[IhhyOcխ Rj;b!aQ`CQd-zp_.#HO-Ni}ƉM}Fe8muAqUzFy0><ә]t*VkZɾчWzF4X^.i ̵3BTdT,-4Φ(лgR¼s'LJ LZ\|}jO!cM}lL%u:/VP.ʸ*ޛiF0ƐZ4֓S^\J#ɸXCJSP)kPSt>GiD>,#O?O Ԥ؀=Yԑ#e A*9Ϥ5sbR>HQt}6@VUtь6^u(B逅R΁02}T6-wx'%N,SΔx8G(#mP.E6u Mΰ%p!tO$68PACu; 2pՁp?4gֶR[1ꭼa5X@X^P_kQ@:8/3kjbDUi`EfMANx>⑼_)LOCc2"8Mg &"ߊ1fjSAtKQ eW_ ˿FqWkqv7 @| RƗ6ƱŖOhm x~o:6fJMM/!55#w:E>9gW74ޞu#@P7mO4X3/iOl׵⬂zpev9KN}2:Q7vBx;d=/d+_[qA>TGa5*. PI<OGphZ?y hX{V "{CM?(/fvn ^m`Q疆*h 3DBj.""IWX5.7r_4iBLXEG<}kގsh$;Փ)g @%!f즍 Hqr'4Bj`3x<RBSCR @dgYZ7zXZִF! A0]ŗXi% nb:bUT=O{ tDϻnPvTʸB)ȴY hBcoŞ1 xPi4|rX9ArWE u$MK>ͲK<,K0$JAbacNk 'rCy wЯttq0tޏF B s8D5SJA@dlXCE8- pdI ͑[Dn/Xn\x.f?^XGwmU3dxThbrO1`U~_t*f׼: z-RHY5s<&K*hZ1n%Mރݛ'6C:{7, e1`H2l٩KY_WwC%e7\҂]/ ar}u)r!އ*8$ȥGYPE$} `abY ))k*>SaF\w_Bo ʅdj%Dz؅Z7g^g*-= 'h]րB:@ vZ{ .1VÌ] hw#$![u~! Ye[{@WX [gYZ002646460a812c4d5341ad7c17d0a781d7236f33 0892a5fe5b4fab77b2315001c3015959fb3b0a7e 1193d7241a92d84c139b643854d230bc4061d46d 241a8797f0073607263462b1c07f4cdfedd60c22 24788100960d5db04ab825d4df15c8efceadacdd 3b22fddacb923fd57ddd3e8bd77375dcc413b790 423ead3bb9c7733310cc2d44a9a25d446c18d2ed 4ed51f46a4e693770e02b5a8825117fcc75a26bf 526032e1c045afa7cd8955f01fb6c34497270ba1 7c09ab90db3d50b72ff4d5e1efa12f7f5bcc4e59 7c9a26e853eb64897a16612b7c1f676061b06f0d 9034e1129e58e58161eaf78e076bace889a5bfaa aa69d3a41c0d76f0b14876b163c2de8634c4c537 e01e71c22bd07a0062de326597e2f8938a747ed1 f009922a3345bf16f84dcfcb853dce5e6ee880c59711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 1 Concurrent_Ref_Alg