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 ` 4  ]/ Menger:threads=2elapsed=11.189cpu=19.636gc=0.632factor=1.757zXZִF! ]ŗXf1-/6vR[Ɛpze-&+9,ٟ8cv4LW2\ϡ:aCWƪAu=۷gCf{T<1i8C`ך4v&/w 6||Mhl,&_2<uwI\L?cX63R婐=w,_].8J2Y<aCE=.H-_c[%ֆd(*_=sPwJc},U`,sEr8!us{ /$}$عZOfQVl~dH2 bґ©ՠ(0;nxSp88 Nwg VW=W8a3a~5H^ ANƝ>E;Z_GI0eL}eH_Hr{/qq\01YFʺb"{pҮNqok}ߏfV[+bF8jc:Geuzykpzyj4SggYZ7zXZִF! 3]ŗXiɟ{A]R90⿈m p[UhZ꫆J_+ف<߸7*3ϿPY/ dA'EPkՊe*1jeX/w N4יlŊixfKrTS`gYZ7zXZִF! Jy]ŗXi%>gZEEc*ӫu)ݡbP\rkK_n A≪ҚzgɬDSy}3+зhµ`=㷆cB4;$k[H0Y&w'=q7Iky0)rh~Z7Kkʺh;SHִf"=!]X/.o(S@R5c;b{YDmuV~7n\롬;)_.{u E.A*Y!T|\)>2c"M)8N6O*@"/ rh܏C; _\HfR?GޯZ`H?G>7|+kɼ&C4Cj4.I )mI!, f;p7ȳ"uSVjϔ:$U-O]M_KG.s"0JULeCeDCN^ ;+mᵫf[^g9783&wW'Zzua2V7ב?>_I;.L,?Tcg}f#cHmMuw}Z >W^q )l#5tm,z[(i?AU !YZ2Uhyo S?0DnqU$aPkxS#(.AU k"mvv08t|"sem;7$ 4_|gYZa7cb237dfd9e061a4498688a0d2f921366782459767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418   Menger