SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 \\!3 l$ ]/ Complete_Non_Orders:threads=4elapsed=11.850cpu=18.668gc=0.756factor=1.587zXZִF! []ŗXf[&L,t;@iu_hy2]vmT#(:zs7,35 69l;{dI@7"aUϔQ,5 >J ߷_ Y\0W B }G$Tyۼe;:q$|Z9 &}"@sRMF)r/4N&OޫR?NE8?@b<3ULTwgX |. mAأ"鳡&@r -1H+-4Wأ3V+V8-zY 297O?w@R Gw ֡"$g'ZtiHDeҍ}YX/˺X5q%vT&By1A/X7BÐp;k \͞,wLG&SgۉOEEA"gYZ7zXZִF! ]]ŗXi%L xE=-OH;T!;*oMbD!@pU怋QNP,TcHq߷rag:؎ WŞmSG{"MI-ks6(8~%VEN\;q.% ikZE~8`-%nLs[~ -HR4>9PMiV |mDƇm|R.JЈt(m{*,Fc;w恾h7J8e6SGbH +ڻ35f qOmx=*tHt{@o?؄Ifl(QO6sz (_z(>;'ɶrF؍Jql3IgOnm 92a9Â:;yn9o=<>RTAߎu tg_YR|zryPU܀!VdgX>l&:ZnhN3e(ے)uޭ2JT>=l~g ܢ /W?&k$T8[ۯPiײoLD\s&0ju>:2 nˇb]fFc~{Iq(Hq}UaR&5SbG 1KVS=(+:pUGg NO *T w<:ټ%A[ĩ!7M/42 N ^t{`<,:V}&Qiú8сFM~f]:#$wQ-?E{>,xi,PN/ OAQ^ bW oz#Č!tMv Zx\-'4-:=WgFS5cԿ:nde4H/*p+{9˝!=Z{kأ|s>ZO}1^zbI%0TWAf]9:;| u윽Y\cvV!XU F\s$u/s7դ Vr9o(q\DiEj*Fan}RҦj.@ܾplNl;k]u ~k*,xl۵.:&)SV=La{ɦRE D/bj\d J B,/\~z9Ҥ: 7HwYo#ޞ26 ѡ) %"D6;IZWo)9ď9~~ˆDbv W͇ \nՕ/ `/X{rKP}\1ә0ҥ!IhENҥg]c\DBE eavQt-mԇ[QGdlW 2F;`e`9/_cM ",gYZ235e361862681f4edc81e3105050798db98847b0d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 3 Complete_Non_Orders