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  C C: 44< ]/]ZF-Induct:threads=6elapsed=3.265cpu=11.000gc=0.424factor=3.377zXZִF!  ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N꫺/{Ib~N`᫏cOHьq Rhd9<. `?:":1W5qرZVUJ⮭w@N +IQ4gsYq'X*ۇgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەzޭ|=`}{#>CUn sF*S> z 9dbKAz{T5*# WMaP E+ÔA=)`SVPQ j*Kߙy]v(4#"7nv(j!XF&WdʺJX?.*)l0>= >yz H{:ۭtH8Y~q1Dt;9gYZ7zXZִF! {]ŗXi%;fluu %b3nhD s0ᠸ. y4_" A'\>ÏVa*~9U&v( N(=1exCGHEZPQ{-MG gi] ,k\دmp9=׹H Afg=cd֩d!\ʹK3~nڮn)Wc *L7\@$: ۏ[U-QοFAT/Z } Ԉl'? LX?h͑Eźr7EԷOsŽ@h|p@9Х9qRu%p2Y.l0_xMuBQ7d/7"Es WqsbPSvFf5l,5_WN*M@'vPqK嶄@QLDp\#bo*7GY}ir6a g 0X0.\:+et=hr9|r$v5dM 2]gYZ5cd57fcbe58f77783c9093801c07e228da9ced7cbad23ddab4c2825c2baa76254b92affb4eb1797d 2276a343cd104b840f9190b918e9ba7356a538951bfd3ccec5f05fc5073a7544a9e8aff1cd133b50   ZF-Induct