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 J 4,d ]/]ZF-Induct:threads=2elapsed=7.361cpu=12.068gc=0.612factor=1.647zXZִF! ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb NN©ȧfbpħ.ֺJ@?K*f`>Ui!1L)D?*HU´J>~QɪɒpLl٧#>AMB=\)IF{g ]PW~yR4zϰIYybkV F<tvXNd1ۮ?_;kN:}z <鬇Xi 6gYZ7zXZִF!  ]ŗXiɟ9\'BFd2KIەx悃vr;j9<3~ASSX| 5܏sfK4e7o\ZC'uq%b 0Vӳ)vAdЃr@'knyN7V.3ESI&.(F M%ƢWui`&gYZ7zXZִF! :l]ŗXi%;>or)!H9;t[ٻ2"=X^ےݔkUqWL *w J]d9W$gט$? m7)KdoHNb.Q)L& H[w"5;7iv7QL 1+r$d|m"&-3 ;kF #f|}WAku\$&}I:Ըw6^eԢ>N.IsHR/hMsE~(9CA0 r6ŭѓ8<&װlYmAcw%L֠r|&-KͰv^ܨ䝨!zŽϚ*Wo2n ztAX{M7*'D83pO\%y iƿþ谣9-+BY m=B)5' T1 @2 JU@jxM qҐMD(9]bva [:/Vh.*;K&ASL{ͶU!rSledĻSfC2_֏n(?g{2.z6BޚzAAyfi&R9@q^&ԱNPP+>k -TҨċ L+uKsΜV mj$8l g24*K0ÞFW/ZA7:I7