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 y! , d ] HOL-Induct:threads=2elapsed=16.707cpu=32.072gc=5.616factor=1.927zXZִF! ]ŗXf1-q恈4?/*b#)gQq:#irnqIRG!U_͢BU`kf]pu_!r|Io W@u{XXlC,֥iAhݐEYe.>rX ՚4, nYV}()tЭ8hH`nosi`j!"7~⼶O0PUc[)դ#+He A4 6\VBOr&9#b?E8а(s>tri%V5N@ ; ᰺XS'(\{ 6ES Z+8 c1rnq (7H Եg5Hh޸.A/>&H(םB} R0iR̶ԘPqב~ YxS5ӲM['Piod*bta ʓv*VrMIҁvKF`$v>TZԧt|A's2׆dIB(ן߭bKjg.JN\d>g{|.O hM(n DO|68/Ӆɕ$F.!8.@Ҽ{v<5@Hlyl~؃@xп3қz\.&qdc K>sib̴jEQ'@iT42p 9FtXe$֚' `raT*'ţ_W5ֹ55hßhRiZ`y#]svz-*7OF]8Y{1]<RF`, ,BKڊI:ڽ NwX9ScC:?c,g^ʬ+2R^}) mss^r}0 Ÿu"u,꥙4gcu6T1}I2r]ξȯX^G^NfA7G2Nb p'0~^w.err>A?EP!Tuw.pv lh2F1٥,o~QѦ=<*d}`g>a5nƾTA?)Uݢ D%x9N KChz$ Y͗[M]c#N/3{D`x5t:HL}4Rr0z49x^:PHD :GsW_M$rB!9}XE%V|rz$'_]leXXzHk*F(A 5vh޽?"d6qdO4*(ł 3`\"