SQLite format 3 @ . B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S- indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info / / N3Ll| ] Functional-Automata:threads=2elapsed=15.805cpu=24.188gc=1.224factor=1.537zXZ ִF ! H] ŗXf1-/6vRZ#գ9mB9c%:n'U]=wSz1 TTj}.B7?y:z'&!lzI&[ϘvzہlŽ]%>Jj? IYiJF>º}7D,Pɪ;fXCb-ȗpiJB7 3jon^9-Eӆ)"z^( ݔc4)q qL݃G /F<1=m'5ًyG1 .N°L u uoJ*Km(BB2n3J$aEIuV5bK؈=NVSz 0ʽW4WJqN$aRc J :"z {G?)=nIkYF^ GՆQt!zDJco N s)dy +$g YZ7zXZ ִF ! /] ŗXiɟu𮓧xy:Áln~"p&l=@YP(L|̶ Kp'ӖГM*،vNA~(SWC^ 5ߩ%f 9G*.gj-fxY-Ar69(Muc|9fxZExo.ƊSqmmB-EPbr\I̘ߦφtjdK!fЇL"5N$5=)6BŬޙ.}Q?v
|$ݽM V.m2
jʱg YZ7zXZ ִF ! Y*] ŗXi%>gJFEW77bNQʔ^7հ퉳y>^°RD0Z#4L=+#]?(~BC|r|
@.oqE XjyXO7Jx fMH}XGjrBtk1{ D&:h+lޫaT|U6?}5JL0Ug ՐqR3:l=ld@LYU%.O)B2T'u sى-. 3p=Ubni6SjzJH8h ɯŝq{6sx-bf\ wK8A06VExo7X0Sէߑd"l#˚J_