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  > ,l ]/]ZF-Induct:threads=6elapsed=4.022cpu=13.540gc=0.640factor=3.377zXZִF! ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N iiGnf(G},Hѯw0#zc̵2A 8g:|YXMa>!uX5KB! M1'Ie/pniJ=ո1ଲ>C8cJi8|¥kJHzG֨1g5cϯK,b+TN ͊9gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە| 7@1l+.<}O ~2P|~GJ4 $B3rhC t:-ŏ t )2['Yk}7K,]g3+{LޣQ<.ņڒ(DX)01+x?&۱j?_O%H*:鉟onہ9 % M-ocbu1A] yZ0c{_[2#Py쌍;<a#,`L}8Cra __ʊ6R0mnL8δAl?XGTL iw*->3= AMN_:]f=,H{oOKc(/$Wx[:P"8 Aw j+*w!MCgYZ2db25b551f9111462eaafce1d71a189b7d099d2351dd6ddf81f32d1521a081613e64272e00a7489b 47f7cc2aac05d40263b38b4abc18d898bf695dc0fa31a3583d6f3d290ed5e4c8596454b9e3a570ca   ZF-Induct