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 ! d$, ] HOL-Induct:threads=2elapsed=21.161cpu=40.068gc=7.232factor=1.897zXZִF! ]ŗXf1-q恈4?/*b#)gQq:#irnqIRG!U_͢BU`l)&m=!IWٓKٟq%s^0-sqZ#F$ f@1ٕVX m&3t撘ӽ\A; ؛@T .l3Q;7@>4"-$ b<"PLmnR&svwG\Ks>IXwg_n\r0%b"Yɶt8g'1\"e*YQ4*a6yAe\{kE0x({CR%:#½E.bx }b_bm+VcAGyk5b'ېeWjpC@?'{Dmlh5ɻ-trv).tM]+TbUY!f\ Ͱ^GdѱgYZ7zXZִF! L]ŗXiɟ1Ml3`L"Ψx ZEԛ yUkH-KɆ^39m >ީP}l1%]ߓwe@HnYTi9 ;`\enb-)do0#9ᰡx8=휡y"bFMW5>#Քw^DbZy5!cS}?L)&_1JY!j~A]Ir1d4l.)Ȓx{cT!@)ix+N-6jv&[%>|egYZ7zXZִF! i]ŗXi%;@seinjh.5Y|%]A6^ F#{pAU#`DaM%<8u1_d}`( aɼ(!2ɜx(] pZ L<8YޖB<8co/:I͹EI~`i˗11:peiV#xalE[GyxX;ԜYp?4l[=gl6l'RҲVPb̄C8Ci󩦂9ZQ֓+`x\:34)癎"Z\y.w>X$8&3ЄrV+ _]&,-X` k o}Xߝژ|= ^ D5r_ SO(WSB:1ɵ颍"ìWa'q͊GdK#^8w- =_4]yMwE(8ہO/W창lW.sA;x)Vo8#%~PBo,1USZLumx