SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 L9 T ]/ Locally-Nameless-Sigma:threads=2elapsed=42.318cpu=72.128gc=2.592factor=1.707zXZִF! #]ŗXf1-/6vRZBh S,Xf³@2 4".%-p|0ɀǘ1vdziк6] șYl+ c%vU`8JL*{#IH=+hd~+|ʲf1+,)3Ƿ:xm\ᄻ# =Q8,U|ΎQ3vG!XS Q?wqJ[Puƅ"+`mqä^@>dܖ.$m<0gOע&F߿d:fpbN[{p4#~I]B&F>n>z 9 Locally-Nameless-Sigma  QNcUTT/ї)V:BӸ@+8GG̠]A)dƖh'1u7ö"swHOW0hB"RZ|eLZl(4\P10osUa:=p816TXISתN^/[֭fs##^nNw F>ae&5^= EV=EI $eG'΂-+#~m$x.J0ьZ bne%jB ?$6;ɺ.vX:pIb^׾g}pl&-8vU_`__p.:&9IsS0s{ jnh1F]:WMkD5lnһca$6bLi;Qd-:Cv\gb5w&Gee&$K-\#0x6K_)C@'H]h3OaZsA?E ⦨5v鵉kDe޹GgYZ7zXZִF! ]ŗXiɟ11bu)\pJoHmXaT>NŊS"̺< '4eB%un[*Ÿ#]55c Tq<}>x8NPMR([_,z_H()k^(KS!n!k)GLLF=n0C~흭_~oad`1)gYZ7zXZִF! v @]ŗXi%>gaG=J-?YsFvb~B9b-4_fwON\ xBi>xE07;_ f&Uf2xMsمqiFd0đNi΍#S2"B<(w܃"$&A%K-AM,L5'\\ʕ^|lV[2 bPL|ysR@;=Kٮ{]!F7tjj<9)/;xyy*"fn׀7Ͼ%4ZٝAhOY^2LSD՗^( ǼEVsӖ)&?\:,nY̎?>5nf_ӐfCtaxoӴ[\̙1{]!^ݻ,%oh0lAӗdoEL6rBx+Ԇj7B'*6$#`*Q43z232cXgW*n)UPx/8 nj_@WVё-8$b1]H-Dqe08@"3OՂָ,1oX1'Q;l7y jwL4*H%ǩ8/}Z ~tp\Y!*m浚Zz-)U:)\ U9_߼BSbֺH]U"h#H5PoP@I+; ~@mxd!9ޥo| "(ឺ?l5 ~ݯ$5 cJ٢X`GsV&'bdj6K܊ ]m{ʒ6™KO<"EѥyۮI{YE(.XKʹ,{o?R`9?O0KZzm$`4Ж5ړ;ҥ`dTPy\?݌[yc1<7TozvxH[?}\U'G Ԕ`#`NrJ* @WmQ's2qfj⋲VnjNKB_7+Z$c'O⡴xU>@ gu~Ĺ A8CEBF UZ̳ቛSifi{oCDCQou3f=.T횺#jqW Rng3kڽ {2jc}Bĉ1. :ʍ?v*މT6W`Ishj-sL,Nq+?(RNfRgRh`\@FdR@ȉŮ6̒A+#pܘ,4fZ,^ATdkޕ@CEԮeFU^LE?txSh:/VL'RۅYFmpH4Sîz_i'Ў-A/&B7ìHE'1鑳=qK]Ybz5T^ǂ*G9]+fH.vCCxI(yg\ #,{A7 GПt̶#U.4 6#{ Ӏڐy,#29U`6%1 Sޝ ?z;7,fXeAv'u* ]nlMSoR1Mkzɗˣ{m$S29uVt з!XfjDKt]9 zvaPsM㢉0 O"5~S2h{.Y$'s`56\ VɫFɸl2B(' _`n((uxjqp@.jUgcqjѰv Hʺ궝@gI^=e=I`i'm+(5sY夐UE$mh_5jAj`uzS:`I*K.