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  m1p4 ]/ Example-Submission:threads=4elapsed=0.161cpu=0.164gc=0.0007zXZִF! ^W]ŗXiɟH)0!h]~MKX3/K?#b{oN8יn>{*Fc}Tn_2s_{@}YZ7zXZִF! QF]ŗXiɟȕhD<֚{ m:xQ zKˠ]oJOR&7Mh͵CbR֌(}YZ7zXZִF! F]ŗXi%D8W;F56nrc #}e9ʌ8,g^CNlL t,Xΰ.kh= F+˨˕ک_-6no`496 S`T*>eg CmIGj: CʾLo1c1meǒQ05nEKx^( ]]x+ʠ@%:p L _DsYSJy;ưVFyeN~by,# Uc+qfŇY'JC< ׄi[e¿~o}"j~yə_wT}9>-.Ai-ĒCW"n]NªDK& hT$5:Bi=}Tη!)vv,8U̡;sWX` $& )JWhXҫI<9uv/33ԧ~Sxvp}Q-%hW5\KCAx 00lCCM>'Tx9etF? rL5/+BIKOU+pӱgYZdd208bdc3c67ce6a82f57f06d44cf1a8048014f3c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a 1 Example-Submission +1G% \Example-SubmissionExample-Submission.Submissiondocument.tex7zXZִF! ]A-MՋhvG"uIBm5Ȫ_\@B( SKկ/H{ыmSOod+* A^b@뢺,^|] ›Pc >ث>a0x1m)ߠ!JV:6HtOa^,҂  >~/0{膴}%+JJQ.P'sז+ Rݽ١ CϺ@|7m!~eQI\1 GuJf^)ó$8ua`7M?LilY? D3m Xriec'p:8ߪz^S&9Lx,g}'˒h ŊHBIhO8'eAFw٪D RH'W{z5?6L>dzwiEޣ4胜-7"쿋H\L,+Kc<^ٓ2$ɧqHI=ܹnC{i扥NrCqűLM:xC-{jXnv('WǾ=IBJ5{:$u7M0Zp4Ҍ>֯9υu,Sp9-oeő6 E)?%c q$vX8 5caS`ʌwr~з\>%~ KiKp!VdCӅHQOYԣPr%| w1JɌq[9g+ay2z>8Oshŗذ@65/s޲K%5t+pN(eX;dEKWAI@^-5;ۻRɨ~`h{ڤ<'1`-zmXX6HX 4HT6t-#d2VWm*ɂ'uB"x(z>h$oGUypoV׍|d68'm:ێ:NIə|ެw3dY f%f(Zr<w@|I,E]"#Ǩ,3"gd.Ud{9>*P. }w!@*!5n1Ee{ٓم|d>}sfyxh?}TRb*q VH>ձܧ)>>?0H0߷3-[fT3ϯ;dj8fU*O M:pa߆Uި#tq W.}JV:%ʛM"SAJT3:3G