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 7 <|t ]% HOL-Quotient_Examples:threads=6elapsed=26.051cpu=39.292gc=2.148factor=1.517zXZִF! ]ŗXf1-q恈N/|p~p%+)<}$PV>n(6tީ~ γ3ipfR2J,z -} a7!҈sϖEPP_csQ];zN΋"4?="QO`EJqW-rR[Y3̓+Yc}lv_Rj,c@2k B6L_ED<$KMN}p ۱k2kYrXѹ @Z!kmqOR9ş#.|2 _38q%x`C[)_6?h %cr.X5f/[?rZf^Odal]h.Oq>"JØ_x>A Y{)"|{*V5S-vL/:\"EX2";d@(y.0Qm8H':D^7 \H, m* F.Aj * ;\;" N0Ғ+-k1atb;F@K W㹱j9d2v:W'[`#-ɱgYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙X$>;YajuZ=;Ds#;fasR ދ0WϭF|dzgYZ7zXZִF! }Dt]ŗXi%94\)sG ~K`YH^Ĥ!*{˕G L Ω4r$WP:Rwg2"њ6 3ύ,E1żkAN~+Zg~5n;wV2L[HCE6p+M`DbdibKׅk{8Lpe;Q6dZhOE9 nP7 0?Е#tSK}[qtd^>?~7~ljVV)(iteYKU9#}orMU3eެLz!Vbg"~y)d_pa9>-!IRZI]W0)\X)܃:&- |߂ϸtҞXMR; Dfh<ЕTGFJ*"_IW55b> 3w U5-Ur N:J(kC\g|R5]>{bi=p TwA/~l#\D[p CKUv-BE/BҦjA{BeTMV`.?q}[0Y\ԛ>QC5>a.$XXk7N[!K^nEӑdn$US[<+;1~P1 e~m7="*Caɻ"+7n+sv: WBg+2]Af0\S4lB/U1_ḙWd*ۺX?ۏhjw5ER}p4R#ڑfЬgvc ]{<.:ڛ U*ϲ\y91+ hw0' t[4δjݦ