SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  E E8 t$ ]/]ZF-Induct:threads=6elapsed=3.262cpu=11.492gc=0.456factor=3.527zXZִF! ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb Nر1Nު?ʷ>P5^AJ0}š+,QRVwҒt·}"C9mѸu 9 /byM"M@h-z|/5.aes0Ω 3۠{fG͏uPE%:t nZAɉGa g-gYZ7zXZִF! J]ŗXi%6ͫs7W]T1k0}08MU^W~Yz #Lc guS#p,'!5^1JYrmZ7a!֞E8 T^AɍG_hڱůXXh~3K".P4fڄ~g7ѿ<ű\f3Dn"9Et̎ -J|șa)4:h`duI8xul/ e"U*v͋oD!44ۊࣹ?f ;υjo MPG#i˒rfig9܉:3M93pafb/;]Rl[W; !x߶kOS50s)KA(ڟ#E3gb:3s#R§ r R`LYgeQ- Pvs.8ԃ]ιLzu=pfE )ѡ*?pwCUE+e>Q:4UobN%( gYZea54ee5b68be1a41963ccb5e6c5b134e1b063f0f4c1c895207ab9e683ba172ce2764b942c7875d56 d504b4ed2f2afaa1fca4aa0ad4963e4fb974b4fbed4654b211985d68baff5426a7024321f63f58e8   ZF-Induct