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  ,$| ]/]ZF-Induct:threads=2elapsed=6.846cpu=10.964gc=0.432factor=1.607zXZִF!  ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb 泀Wuځ`ʹÍ5]> Cψ"Z&V$UQ8Z@aLW>~Xw?<Ա: @JGO$7 j#{5>(Zn/"nXs^U<땷_A7wHTQ |?:ý.fHAW! gYZ7zXZִF!  ]ŗXiɟ9\'BFd2KIەxd@Bu4&kNGx .9 (^'#zRD(W֒5C@ ߲YY?co!AZ[*_huF栘پ♟ ,iC[Hl]"5XT^_^˴{re% »~H#X>d?.cDJ|4l&ѹ4ҁ1O #9aJ Dp=8Tyħ.Bcdۛ( _r)7Cvx߬挾52Mʨvem~p'&n?"p ČKPtgF`Yfr2#8c|32Ψ[ʑ%e@߂6`X3Kwt/M/# ZS 9g[*j 鷥UڋAd'׿(.6K˾M ec1aOCUѦ1lNs`p_/Mw94Eݦ`Fs/4P S3tRd_.;\!-$8ÉOӞ!>kBdc乁NI  VEpoCSmULWɪ"M aP-Gې| 2YxY.;T0X ыDX?).pWw &N `tBb[=At:޴,]8]½5gYZa460b656ed48ad25f6557e340a768f07fd34b86241dfddd2151ebee28efc9e26dbae12c72d1935da d88cf60679edcdd07b342f11b378e92f1bcd1a527cb49fdc4ca1aa0d8103dcf4efd1e3266662ae28   ZF-Induct