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  ? ?> D44 ]/]ZF-Induct:threads=6elapsed=3.067cpu=10.516gc=0.428factor=3.437zXZִF!  ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb NQU3|a[,R&+Jߤv%kDqJ1(r6hoO$ ?o pNDi#x~cxJq"i *c&95Em~ CX̢-_Bcvvovg(nB78,gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە|<_S(b]z B@{nob6c30L;tG^CiY 6ĩlb 2=|i Q|"Fece@ tս=`zٯ_kk.o{ }w_Ayū?zW@n|;Q{ћq-MOg֎GXF:M8@v~), c ݂ZbZZ]gYZ7zXZִF! }]ŗXi%92/$g8WpK."HCu| ~V tx諣F]Ft|g7cOYUSnYơQFky L<հ/Av7gnӄTWS,lkBF("^GnPR״,hX7k;|$9;gjF0ʛD5~|$f6pH,U(ەbEy;9*+Y/X~}gUE&,Gl毴M0Kyh,O2H3s&H ?qi4mZR7p1&P3ɪ?K-. B)H$S-渪إ RCщVhh%Oay݃?# ϑ'/&- ?p"ʎ#̉-D?g :&])d]B / 83O`U,Qͅ$׃ Hg[Yv},8Dgف\i %7KgYZac7640812479f5097026c6988fde042e93b5a8b7a46db31bb55395b3dbdfc848f24a96e1b1255d76 69a6bc65e930c2bb67b66e13eba54a746f08ff63469566ef8e256809adb67677d1f07946c1da8daa   ZF-Induct