SQLite format 3@ .C  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))CW1indexsqlite_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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info   xp$ ]w Lorenz_C1:threads=4elapsed=1.048cpu=1.696gc=0.0007zXZִF! `]ŗXiɟH)0!h]?W _QdoA7:v#GDNi.DG7OFK\ʊCrᙷq7 hH4ʗA/ИO`y M\/lb(+t8ݜ=fgYZ7zXZִF! G=]ŗXiɟǕ,,1q~Ԉ@m4~:|#;W_;ΚnwCeXvNYH3}YZ7zXZִF! ]ŗXi%R3s'ѤT~,ǻRl fdF--KޖQ){L KڬZm?{L7^aok'OX8T~xT U^)kI!O*M p9ڮ;t~ +[H[;&SʺTgw4AMs>RXWeG1poUn'>Jk9-O3 }Pj5q #[Hh.۳j'ma*$=71\ߕ6Jρc%rcK}H]ZbпI]iв65!3E~~q {xD[6fR@U)!ӵȪ/M 0@|-k{D񵆲讹'9Ε.eCWFfH3({#ᾒ |U{#1'='9$OߏPD&~,BZl]ek% }}2^Th,رgYZd58e59250d97e2eb0527ce0f342ed433e8c33de94b079fe610649cd37f98f05ad7c20586ef43ee64 74523ca0166e9eb6415b2be2253b4d5ef2f75bfe 60a083209646399dc33e998f5b147c9049498a09 4a7899e4e973864aed2c49c3c39c6ef5f9b6e760 606c240776340195f7ed201496cff3e909f081d3 48811123279a428519470833dd0f3ee09e7a8757   Lorenz_C1 ] O1]Q3' LLorenz_C1Lorenz_C1.Lorenz_C1PIDE/messages7zXZִF! `]D?7 {?:fH\E=k'ۗ_$K+t>Uui@{V+/ (./\Bͨ$%POI><5`W"pWSrqF^ `i, RVbzFJʭ2qMI|6!cB$6$XOv?ٮG±k~.qQ^F(xp$u˦LMѬTE5p!kMY>y)1sH^stWשּׁbuRiѯЭFt6#E]";D("^nV_[ CVTo33}3Ƚ?7 FxIks=?:+|xڐy ƮU.x pO;C>`3Ǽ٨d"4Ec#{h.lPqc:?,.b,kGF7 +Qx-VdյͲG\8*8šYuƭn89}>;Żh;4)Jj=Ͼw#vkʝa^_S'?MJz,{DeU+}kӎ< Q> t=ð/D#$NW+idKg4xn81j gYZ.39 tLorenz_C1Lorenz_C1.Lorenz_C1document/Lorenz_C1.tex7zXZִF! 2]A-MՋhvG"uIBm5&-8~$q cs.*MrHǝS/>m޿abX<}$B47#r9w%Q-qǶ䆍*AywE÷;EUtRZD^LDXW8I3ށPdeOƚ4TEy3pIlnj ^w90P tdv_ kZwg/o?"5/wGE\jp~ rK{ʫᩞhor[佷#Z]pO1ӗvz0M:Uiou 4wcI3 ýKN?Ø&&`WҸuu d݃ z5)tUw03>lY~'M-*kްlԺ DC'&xE칓ׂ5j"/ՠm5`䵯q^d/6'adyU"ls-(梓YGRcՒLq2wc8oI ƞ[S/P^}:gCᨇ1 >ǂthr5j]9}Y)k-φ"L0}@i&5Űgwu&X4bcc4)7'(8JlPFS;pU"͓D8%Э/3kyNO lni/W9pJsqI, vl^P#ŲGIV[Gwx+ `eSM[h@3ʌ]u֠z Qk