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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info //N3 Ll| ] 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? IYiJ F>º}7D,Pɪ;fXCb-ȗpiJB73jon^9-Eӆ )"z^( ݔc4)q qL݃G/F<1=m'5ًyG1 .N° L u uoJ*Km(BB2n3J$aEIuV5bK؈=NVSz0ʽW4WJqN͸$aRc J :"z {G?)=nIkYF^ GՆQt!zDJco Ns)dy+$gYZ7zXZִF! /]ŗXiɟu𮓧xy:Áln~"p&l=@YP( L|̶ Kp'ӖГM*،vNA~(SWC^ 5ߩ%f 9G*.gj-fxY-Ar69(Muc|9fxZExo.ƊSqmmB-EP br\I̘ߦφtjdK!fЇL"5N$5=)6BŬޙ.}Q?v|$ݽMV.m2 jʱgYZ7zXZִ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_'{TtTu}o6mbD#6QkNE@ss\>mfʝg8$ G|jz@7fm\?, m6H"JZ43,;=A^ߟ9X~Qӏk =n֤6/*X8;`61!$mdrs$)U{Ձڮv}VSܒ pʟu>?ÎS_{4d# o3  [."V ,;R"*wT3d#1#`ك0+]/t_ס56mkj 3I t&fOMABWRV6a4~:7@%/gJg-LTaq_;x8j yʨ֡ :7Q]2+B@~b})|9AbةO,+A vgQ/H 5F`k9fTyN՜{ |Aka &`2