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  p,< ]w Lorenz_C1:threads=4elapsed=1.267cpu=2.040gc=0.0007zXZִF! `]ŗXiɟH)0!h]?W _QdoA7:v#GDNi.DG7OFK\ʊCrᙷq7 hH@^@3:e z2 +j!+-އ4%{xOagYZ7zXZִF! G>]ŗXiɟǕ,,1q~Ԉ@m4~:|-ZsK[K], 5UDI;QF1ZHW}YZ7zXZִF! ]ŗXi%N bԄ?Gf+&߳aQ#;hbJù@0Qd$wjI>:7P|@1ʿewle -SDxHVW~&I VyF,pܬNp`Ԛs帼+)])~RVH/͞PՆ!d]Ewmԃd0q;Acw[yH˗2^˞)!fe:'Ep4>Z;ZH6[7IjךV 4jό<1Jhg0QVe+K/A+NDDU1҂E/Z]t.E~$W|-}Z@HPk^Lu")h]" r/aF 6;G i>g5@x4rH5~5l$p%!Bzfz5y xw0Cnbaj[Q<0srj˻%R*a> }t7^OgYZ89d26958248f1e3686deb36803e05b60bc55fbbd4b079fe610649cd37f98f05ad7c20586ef43ee64 74523ca0166e9eb6415b2be2253b4d5ef2f75bfe 60a083209646399dc33e998f5b147c9049498a09 4a7899e4e973864aed2c49c3c39c6ef5f9b6e760 b1ad317e48cd314be551ec3874c821c13fc9b214 5ea978d7d44628945ad30d8fd34137bf6ed5e966   Lorenz_C1 ] O1]Q3' LLorenz_C1Lorenz_C1.Lorenz_C1PIDE/messages7zXZִF! `]D?7 {?:fH\E=k)a84q)wZ-,:iR J8p!uk8U5"v&C BGiYڴS !x/qԙb+Q)Y4}*_u|89]4S<|݉.%)#"]9դ';%ɗ]}`'x5gGRv#l t6L@ ~4j"6d:N2)[Vv 8 NcLQIs8 G+y7`"]ոbnܭ>6qWJB!G!fR `Y*+yNZKB&yUVgYZ3# dLorenz_C1Lorenz_C1.Lorenz_C1PIDE/markup7zXZִF! c]:F.$eC6w|d>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