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  1 DT ]S]Nat-Interval-Logic:threads=4elapsed=28.395cpu=79.376gc=1.976factor=2.807zXZִF! <]ŗXf[&xY0C1wJ FZU%p•kfa3(e8X#ۉLVp=A" m#sKtoew_ 2nH-R,uYrnS[Y,x- 3PQ`A<g,JkuCE2N 0Floб3Xdit0|’xh! .+I4AB3,Zn82w*f3c)bDG[l[+M99~(\wm9M[eR8~TP59M  =j[ZCpE#aAyƨzȝ޼C'z[v:y Y ܙ"}fȳޭ I.hOմP+t-H v:lT,pU `5 (45V-)Г'=_rbJJ,7֟r3q1#Ul8"\$t,}b0ϵݥq {#erNqknGz."Vba ŋ:ZV~9Sca1ũ$!#I8bYmY,+1F$=<::-E--Q/Iɹn@z"k_a] 'Kǯٛ_3a)Z>E k_fQ~hCޞrVV@lHzҷ ԏFAFfegyZx򶼇_l:rDbk˜d82l lK$/z2lz4hR$q.y)?BqoJdY"2gJ+c$+e*rQSԅJF2+:hC%:TY2ZoM nX W% yZʱgYZ7zXZִF!  ]ŗXiɟĊ:4OHsS9?2N&JOQ5cT#"("qި+S=&6,~@cY(2w4`cT"Okp6~gjE'vveϗ_@8u_#gYZ7zXZִF! - ]ŗXi%Irx=8fƲ12AF7ެnS|uXJl\J NC'Kt{U?Eh/i.3d̳#~$j,DrY4-Pס8f]1[hT:.xt6 x-kbN@G5:a,g3܅pcLUGus'^NNl~IEwcZ3V̛tILZĴ`vR=$d`[xN]K٣ e`k  DI)dxDb6܁5d.2(xM{pt\ f+gV%vR:i "sSt$LɭȄwVt\UTic)+X}~UI f{׿}?X>>Nw,99hI!$'d;M~08Mt}Dn2~Thޤ8Bv TbGegڒ0w қsPKX{]KnExKAfTP&$,x)`Z2CUA\v3 uh^Frh3X=@jQVۈMRTIj;+jNrup'g %Vɕ(.G# ݨi>6ϐ]u歹2'>8`. Y@.k$CU#e;[M43GGy />+ Bg#g|MաL q; I2WPΓɼC㻟 C B;Я ^.C^9(6E3L Kۃu]YrY0Wiq[qpvJ @s"pIї,y&Cv<2# G%n*<,@ `K s7`O^-|d/RND{L+(W H(h-LߔC⺖g&˯H FzVsT[N(>Zz k!ފFg߱27?0!-d6 MctP27J1毴 ϣ !%=13t9Ҏ+2}k_L.-ܻ43lcRb 5a{u]?,Rk΍?% %ɭ}+raD%b.\ ? BmD"̫'UiXNԁg-(3b _J i>^0 ߧupbyimgLTYI-P]|H@t9.~ dg@}܅]ɼ26M7OΏBa!ϔ=x{Yߡkc mVƠ&ԛwL6n[Uy wK {VE ć*-;^Dosrf$ ]JuH{ync?8Bu 666ײ텏V~|O.}1:sqdU="}Xxw?vF ҸS" X(C o9t]8?[)xZ\'Ƣrf$HW:ڋROͺYE{%S%i5lrCzT"Y78#e~+%ݻDwCTPR2PyЈDwsfO(l n|KeHY a:Ok t!wp!k]b-ss~A  iqꂡ`619L ]{$af<4^^LFC{ $C+l)s±(r5cxNakpߍW䇏I I[/'bYOn`Жp?s4A*d$@iø-a[([)F@xH(o, ׄ0^Iw]N1QH崆u]ᦁY~No$sK\ J;)f;PMUs櫧d1jZ\|2($