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 @@=! $| ] HOL-Induct:threads=2elapsed=19.622cpu=36.388gc=6.068factor=1.857zXZִF! ]ŗXf1-q恈4?/*b#)gQq:#irnqIRG!U_͢BU`l)yH^ OEPiS2lFdV-k[2p. _|h*^kC3$rɋ3\A:P}D礼pɥy- h!˒'=:X bO k]q4}jn @#svfTݔIA-r`4P8e[GI WsU ?qI3 ;HnT7Ob:Dqz}'hXtL:K5CKu!^cqUč$l6"S.b7fPZU 62@g!H0x;J]@bX RXrr%`n^uv I B9@mXfJl@w=N%_}͇Ɵ) L%~~e@gYZ7zXZִF! I]ŗXiɟ1Ml3`L"Ψx ZEԞ"D̉{Q[ (=瞾hP9îaJ3y]+_/#cOhhҥ4i]Pj)/wG,n#`T5F7\)ORAB2JPhF,[:rB0$Bc)(#W䅉X+\:OͮK4HX4gdom-8#ؒ1`಼6vRKb⾀S-pJmᗋ&,통ٱgYZ7zXZִF! `l]ŗXi%;>]\ùcx4q~ mlBTkW+oGb*wkL7f z:w7rA9WȽi4 z3U+L[HHtgΙԳx=0&[D y^¦s}rX1R8HK&JT| +٭qs H@7'qv_aN R(&E)$ >ͥ6OT7oq^|?Ё`GԗcMm-wŒ)šsI\ٳE$»FJ>M .qm[rfj#ڮk :p˿12sGDa-M4-v|?>N̜e)+8mS2y]E@ILUM;Wk*1XoTuLu!Seu ^ p+SCxm&C ?S5N['>fwDQюS3xN'e$ 7BhP@x6}$@QB^]Eb$,ÆtƑV˷ ^qv\ZR`E4U/搎:m#9`H3i.[lF6L9|4: ,CEME8#Ilv<*b oS"=O# >!IcCdUFd/U;:-=cPo{GKߘiOIѥ LbP