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 5= D| iS]HOL-Nonstandard_Analysis:threads=6elapsed=10.823cpu=29.392gc=1.100factor=2.727zXZִF! Q]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6x5fF]xqj 2lû*p:trۍl %*BX)K$[aDץ 2Ja!auE3 ;#uWTa5qI̎W>Rveg)q̉YYPԱ<'ogm*%h !&K6n(e4o?+e$H~R$lVU ܰL44{2 9!1櫽˜ͬ=M4=ͯt-T7Ce}xEՒ.f0|c8-E x"6$PrVL}Q`uЎKpimJ @DED-ڠ9 $xocJ~`h68熊1FֹfY.}f֣7,/L;%JЎgYZ7zXZִF! 3]ŗXi%6 5:?-Kg{Zr2ܒ[NϿ3 IyMqb6^lvA9Ft?9<. ob4VUS qm!4ds-}4 NL>W*ͯM<³r0hICamd%UPv|f=tm7{e:{(:BM=jA O׼ZR6qI\Η`nWr^Ű!?d yPˊ[S Ixo\o{.ȘL]Q1*B| aۖb!EcL'Qp67jAǫA#\hsKi"q_n\fP1RWOw" L*ޞ\[u^ $xU-ؿ9zX0Ea9}dّgar^X ͷ'3%*k^(A$ ak[jIĨt`3G WP*ȮՋ>3V(3Td~C7%kVVL~ tyyN۳|]${捐,%vj-fQzHGˢ⾅I트WWcm ʃ #<͊L\K&VS%":L"ңUX'!'OKy%(%xyއR^éTDoy|ٴz-Ri&䩻syM]6:$~L|Qh`L6:C%=&QZ$2VQA]W,:WgKC6