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 = D44 ]/]Diophantine_Eqns_Lin_Hom:threads=2elapsed=32.819cpu=52.232gc=1.116factor=1.597zXZִF! 1]ŗXf1-/6vRZ޶>_GL9s՝TaW50sɽ8MsLQRt,m.R[-́J9}wV!A5H72;*ih81ݸuBv~ ~FljVKX /FDz'[AV\h?ڴa9we+~yMt2$NTJlӈgUB cWE@CʧWҨ`^Fc')f%+rP>Yfyٗb涊uYF)Q䞧לggHps z6 >IE皳 #g7c +vsPO>5'VWېf^%5!UƯ}aEZWp,cd`MK(;MOW!Mhxe ^v}St sQ¼g^qW6Й&3b!E{ ?cD;gYZ7zXZִF! ]ŗXiɟR .t[dw%d^ܸEH4!LPV.9(*] xf?xp,K蕯O>$^yrx=~3;Q P&F"eCy ipOq猗=eyGf 2֊W"zҋDڇeo$& ٳS@n֍4п<J?gYZ7zXZִF! T]ŗXi%>gU"8~&줢$OWT ^=BN+#&pQs(bza#'}S&KG-z0 iఈo~`{{Jc|5pѐfϨE K#m[9CD֩QwQBAlL{ [8HF^ytNHd>4Qs]t,Q>ʶ /ƈ;$Aw&DߋqGnG,%>gvRn$b>qҚ[B8ZI 9k1ni=4Jk`A7j$97@ͯG >=fC |Ǐ?)%7 }nxVfgSg%5?mY˜RHA,C,|MФ_}:et s Qp=)ۖB-Hθݽ\eN9;dHG] d\%u;+r)f5[ˤoOMgq b9NKV?7BF٭ Yn=Fg* }Y9a_F@qp2ĂwMY?x!&H 6Nֈj=]FN%,r#\rTƋ&u|3HKw?"5$vs7!`:հnony[\JV7!95y\N]YsAQ|;qt#YیDv֦B9'QbXr^ dJ^@C\LPZh@쳨0r dW7,8pj^C|Fg`T Hz%y$YKb,Y,NʣWFio$rS}Yw\jLĝ$5sɺ|=r؃.ŸCʬ/r9Hʒy~t =F c\FNǮ`\5Q'rbgYZ90b5faf3e0f4d4ffd8b365221bc7aa83c1a19114a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db833a276c3ebe0ddc925a341cc5fcbcf8c7af35448