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 v7 ||d ]% HOL-Quotient_Examples:threads=6elapsed=26.294cpu=39.548gc=2.480factor=1.507zXZִF!  x]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA% 4LΩecoMo $… '^ړv\ΖYƗЦ]S@Qٜgчlg( s,vv0Cz& ,;kL'5OXxcRtmd .Pou(ޞ] `17)).J&I_oS~YK F4yݫ̜z3\ߕ{sI-=k?y{6Nz2`=?Aa]q(6&.+V$EkVws ]Em݃JY+EO`aĮVF1\֊; |j*|fdrvf]x%~SiQaX:w~[ew_y#xgV,IgYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙XF6'ƬBf0&H{R›d",i{kL#NoUBhx"7vSuFe);}^ܒ` 5v6vi:MekJ =s-- |HTusF}DI(#у2(ʥ JJDm%x^>?m_h8(dT+R 9& p$7~x ҥ|@1+AX{s2`|Ow;']&W#Gƃ0AԘ9pI)q&Mp(5an [LV9Q2cHx-AMmrvYO8h!?B?;cE&V+^EOٌyHf%Ջæ"Y!)7}L>0) zߵTX8EbONG!q gh4I"W杷4r9'F]B½ϪeEoF|ҿM1>$\io=m[8vg % gwՏs]u' c`rJnMp;/tОKΓG5SGLߍCE%1סJq[gO|݌Y}ReQ<p$ ~®6&&]BgP|,"Wuȵꠟ SleK`=ϗ!A7DWfPz04LS"2V]:H|wHE!c pk rd !frGsiϖY`EdGCADin141/X a^ N DhJ2Wfު~ :p[s5A.6Jt)NBψQW큼Vcd6J(j6^ψtlcVȗ}-dP0MIz ޔ s@wgӨݱNPtlJdkM%!RAhdavV(kMJ:RM9Zkq+%]vHBI6aֶu|8:!" pXrXyFS5!n.eUUE9L,OŌ*kd/"kz}N!:&@9zǜ8ev~JcP*<5 KOՆF T%"..܊x_O1uKE!|R@ Kc 5d_- YgYZ41d253d14cc5edc13315fba9598adb07ccf2287af7b1a1f56b73dc58bf54d6b554cfc6678c6e3f45 8699c09d5dc37a7f84bb6047bb44724257d556ee c3f53122a3ba7b0c471a86b4d7d4c5316c1b924d 0d4cf83f019e259fb320761aadbb118eb7c26a68 3c935890816111f0dfce76b4cc53de99d68a9b86 7 HOL-Quotient_Examples