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))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  ) )Tp,L ]w Lorenz_C1:threads=4elapsed=0.976cpu=1.556gc=0.0007zXZִF! `]ŗXiɟH)0!h]?W _QdoA7:v#GDNi.DG7OFK\ʊCrᙷq7 hHq͸HW |wWBնT[1xOagYZ7zXZִF! G>]ŗXiɟǕ,,1q~Ԉ@m4~:q0} ՝Ax2n K1ZHW}YZ7zXZִF! ]ŗXi%TW @Ln0Bx%k@W?>#[Gl QIME2U7WϻNibJo%iabyK:RMGv)>F/sh%X"< d~W d5DFbfǞfgCN5mx̚;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 Qk8~$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كW8ʴ$ۜ\I-6Znt{gLZn\c)SՒC(Z9"97kaX-8uc{_&Y,?4>₵?FZ:/6>9X} ɰZQCh=ՇֈXP dGH34+ Lm׀V?V>s[gR&yUVgYZ3# LLorenz_C1Lorenz_C1.Lorenz_C1PIDE/markup7zXZִF!  ]:F.$eC6w|d>u˦LMѬTE5p!kMY;$kjQljR|@P VݗБX񐅀^#s$pauv{{([%$4\v%k'&9˫u孀!NfdWgK-r $kw{ M/H:_AG0:rA:q*XcׯnGr_?bKʣDFy+?,0@-#e[W}hQ؉9ǯ8+8FЮy_2χ̉ -u37 1{d B,&(AcJ4l6@5/s0dIXZ- @?UG=J +HI 22j\Z_Eeo vJk3:w#!z.h0y%?k杶(1ʏƋaCtf3W+K9 !l эƋQb(k̡m1WlzQF?22tkA;htsƵͮ%ldo77;…Z`CC+ &'&fHzMcѶxmqDnhkeDR,_PPpIB8G_:L/Fz0`i6'Z/4k?!Fߵݕk04_{/S'R=Bż􅆷9ue.9%ugU <͑J[{N$ltߵ$U+xEiuȁc9[>}NGo| ލydkgY<%7lx:/ =i "[BhR)$,z-AAt αB,~O +dpg֜4)U1+- &Jb\Wy.~Bk:ŧkmXFr Zrg6( 9 8ePbIEp^ ܝ`Y=MYi ջ؆AfݵQzfx0HUmNJƇD_5cEKRf6AȄCl,)#nj<6g*QV٥Bj,ʟ]hs<?Il ʼ kI7_BD_'k<=n(Cq2\  k_KIGSU\^ƏUטLj1;0x-=sKLMq<1z5w(Ia {5f`~ympV:Wl#Hl!V$/:1tꖬkPʰ4ؔl6ݕ2m]Z@HYN4όK`Mă[g)Pmq:Hr U惇y`߉:֌}[oR1+K7}e [J`@37hN}ת28߬ߣC&fx ĉD?8YdߟDaH-LP X?r9mύJBNcgN Ϫ8 (9U uDԠ(p96T|Sjo kI'g%\u^.SL@p3