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 Z7 ,|| ]% HOL-Quotient_Examples:threads=6elapsed=27.620cpu=42.136gc=2.504factor=1.537zXZִF! ]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%1 RIE+ofɻ1֚6Ӗݰ<C 'A #NjW)g 4c$R#,~5~JhPjߖCT_Cժdd+U`qvM*F9UNW[uC$]ML 9're?\ 'X1b`d iK%;cΐڲFuS}.f}Ld[GS$/KB|Wuic j\Q[Dfٗ9mfTõV^#$`>)b4N{|#]oJT0[?n{E&gM!v~O=ܛ"cc" z:L:[kKiBt3gɧHdW=W8nq`5V +=S[M:gޣQ[[vkCw w':0=HUA"0%I7Ӯܠ4+' 5\z]O6f<DZE}'3Gm6K!^ה̈́omQRv:9‰ʚ Ց]c+%zs3cͰ5}ϟ*"(f(ü¹qշ[Xޞp#9$2EV-eg# xA 4š֬"q e!(KTY|]@Љy8=ihUuۉÎ2!E䔶HPԎ+Yۥ^幵ô 3Zʸ=doXw0S*< :0j`)!^jRݣhkY 9OS~M- =+B0ƦNꜼt'lֱ _gYZ3178873cc63abaf7991d13e805bebde224645f81e739dc532a6c80e6f5d762f572346ebeb03f4552 5c6d1467eb3dbc220749df9119f5083087abde6c a222adeaaeeac8054ee14fb02b6697a4291344c2 6ddc1cf50b279d0071207bf3a1b61e4d8048ebd0 66c9004803360ee87c06998e19c430f383da6ab1 7 HOL-Quotient_Examples