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   z t4| ]/]ZF-Induct:threads=6elapsed=3.609cpu=11.980gc=0.504factor=3.327zXZִF! ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb Nر1Nު?ʷ>P5^A8ߚ#uYF{pN,3i?8]c+{Uji'OdG2ңouù .VϪ ׷M=bc]s[/Kw Flc ;I7@_4cH!ʀGתc g-gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەx|=`Q5<)yhe ϼ-Q5oOu=r9n:okB^ 7c ,\<@K%*YdӁbRƝTE]'.t1(t앵ZCI+j-Cqu8U1+"> 'Ej"Cwu&7RdX71S"gQzdzNDRsc%"qt?ԧ]9v=+~SgN0qti7F-3aAiO'TUp2 @vRsT*jG W\rX' PIS YKO 1yDK BL.Z6a%Av3XgYZ28e66048ac669408788fadf345eeb33c4e10a72f6c234964d2ce00acad8abea2736235d9c47e1057 94e4aaf52d8f084731078afd00af9d892643ffeee2d5bbb489f1c0a3a44405cee45b4976db87bad7   ZF-Induct