SQLite format 3 @ ? | ? .K B T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1 indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info \,\ ] AODV:threads=8elapsed=4828.693cpu=29343.548gc=980.4427zXZ ִF ! KE+] ŗXiɟ7KIxjbk- RѾʴՊ:E"ftW!&eA}\Hj)a/ɖ5A oHj;H#O84)؋DL&Y;>U" ?9m52|B1_\ʶi/&OeˌPdI%csD>bx_)]fڄ&SطR_;;I۾`ALhq!Q@XdNeM2b}t$0Υeֽؒ[nhBwKYJPFnFFTb:5U\gj`@!{臹]3pm@|&t% "/y.래J6A"q_Eu-9Ot$zf(oȁ+%"`2\,Ƈ//ENSF{o϶/ LI)^Kv>Rz<PX!oD1k6c#AB?Q)TW.t$3 .N~mQfIRx=/>Y_GrznGѻ`zbixQXۨ'*i jyG) 82$'uMBWc%Y]?!TvfVXV_Y q4c¨,kxx4%Rve!6$=l. Ӫ PPp~Ť`G/pXpXRi-ݘv!q;>#;vVEfXbi?#Ω٠۵ؿuXɵSm> 7pyw+iCOʿOeEĽPg[r(@NxGRu`g)aB!%!X3cHE~mȽbhʸ<h3*0Z{uȫrjAY3NJ8tIA'B)\o춃C(,}ʡx oN\:/XA+nm.|X: 4ڨEy&DN1^1DV9IVKKp*[,Cr1SNc̉G>;/}%)R&67 S* ]|6E$:^~^yَԡI %WsDJ#S5qF -} ':%+ڰtP[|EFr 2 SI^[ 7SIbT--$1As@J7CIwL]^Z>/]G(ـ=_qD/.$ jڻ\ਤ2?79֭dnj^C]kŇBVJ֥]Js1wL_ͅ{@5#cn0Q e^;OnobjkQjC.P_} WlЭfۛ70m齵ΣrN78'?P)(59Is `E*^&z&!4ńZ`r$䮣]tef6F0OP8ߘٲE}Bs=@dFӥ AODV m ~ytoje`[VQLGB=83.)$|vpjd^XRLF@:4.(" =M AODVAODV.E_Global_Invariantsdocument/E_Global_Invariants.tex7zXZ ִF ! ,C ] A-MՋhvG"uIBm5= Ci .Y0}zV\rp6 䞒NGT`5H$: uVo$:+Z0o-V X]UI 6F֘9dÚ$=+"J=ŷ z3$kaFqwڛ9-*,,fO04$MTiai5Q qܓR8kC(59w{!*rϲd'-;Hiv˚lܕGZW&(j~C{OZao:須9tBj,{RIB壶_c}{s$Xe0ig5c ISurߣnngAj"RtMZ^6MRmezˇk>n*N5nׁvI ^5634K&7 mLD_,)Bâk.z3}-9'3m5p'{VFU~;ጣ&HeղS. }@]}̳Hljn|W36p[fOZH4w#"Erk&0`#Tz)OS˽]ӺL|c(VՈUHCLk?