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=7.513cpu=12.156gc=0.536factor=1.627zXZִF!  ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N"IfO }~_$^S thc"}^JNGTbp>@B _[ѽ1R9*.({= *ndEӛg3̏8ͪ ??|l'JZ)~%rH* P>lE=[B6'ߎϧ 탱gYZ7zXZִF!  ]ŗXiɟ9\'BFd2KIەx?vr;j9<3~ASSX| 5܏{e$-툸Z`BӢXC`zm)=l! ҵ]dg)#(mw$-Ss7cENr?JM=|Y-nB_[ڣY{K2yfճL?jKdT&D:9}3oB+ BW 'J{jgYZ7zXZִF! 3f]ŗXi%9*WW:O99֗GwC԰b#6fϷv= vh Ou4Js2WMh3s;QIh`Ĭ>G ŭLr9'ʣia4&qu?k/?lRdZ{ޒt4zQ߱(#vn f*L(IoR Vj@6&KOgh@/!27vuᙇAD-͛/T7\[,P ѿ^7P 7:gP3c4$ UQR%"`UϖǸy+KBջ'prUQF`W>e9ÕcTSb ZX<,0Bsr}[_~~ 1Y${ߺ82vtZ/ $ EuWP:^Lk>yy(Zٗn->7ƶ8Ctbj)v%UwOgy.=k8O B3u;)Gc:yxcB>{3,䩖%7qz( Z f,Pٺv|?w7F [K+B #fmRv$ۉ{ 9^ U_ j:k'9: "dN أh^ND?ԚeE+iOnHU !ccGT@ܡ dT`cm#k->6y'~(O6[A6u!>}͎5s*L8<ϻP@ɳ_; 1HLOJgH]gYZa460b656ed48ad25f6557e340a768f07fd34b8621f11aeb0b5cb58822b61789e97e7af2cf416f0f7 2170a5fa4a68f7b1a42bd57e1745c11f34cab24c867478e1fcf4672f96a9855570ac74d8c4450ee1   ZF-Induct