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  K=$V8g&J`L&\շsJv`Q@}  ^{!c~.,_g0Q_\&h ѕ֗gż-dO]Z9˱z0 0%02hm^#*5hxn삭6T X|ryd܀`г-ݐS; x=2=$^|"WHүmC i.J: {g:-gJ~.W"\SP־^SVZ$%';a=%EiPb6$lWiZ,oCžBEmFqd?J(Q.IE5->B"λ伴qTЧUsYWBtg_צWf S"A+~OV4?W3R: Bd{>}5Ʀ _# s/wϬ\pۻz]xh>j?P_%zy^' z 22ت 0FfX"!=n_dp'd`"h"W̃R% :ʼns glZ-i⒬(,I TŶ=DГ*/Hw8S(`Ya<3JnCO#d:ChxKZ*FC䕐|n|$>\{W9*17PxqRWN{Qx&ol@fMC?ta.2͉vdB7M?ȯ"AlPbv#=rD@K]A|}ewL=U7Z܀=Ȫ/.g-|r tn:W5ޛyfe !d0b Zq=-&n[!kʢ{ a fBd@aJRK4=z雭ݼRi/TmDhv**PۇB&:4X|V"S vq6?bg0=5i#u = Datatype_Order_Generator  %Z !% R`QggYZ7zXZִF! s]ŗXiɟ|E\Ât+.*aphG)%uGANH :uOs2{Y{G~MNNb섅KTzuwž]mύ$b$3K=IB{ ^Wd|hIfo3l4]+v3cbrzHkDsFj \Q<9=pokHwެߜ*XOHbF;h5{dڥC? AL$>@۝7C98ְ#_ sWr9m젋=ʖ%cҶ+JtǡiL<#HQ ^:K̰=')>-z-4q"g?v-mx 2AZqG .cO1]IJl8C. SbsUYp:TO/c& 0WvD}@/( %%ZgYZ7zXZִF! .,]ŗXi%>gQ%oݐVLzCr1#sQyvl5U,,Y:$ع?a˅/հ n7X|~yx̻ XaXAty8½S|Xzu&4|i INe_1)K>[W]m[))y4<]:^31$)i9p]_H['D*x%EoOqsk[( <{Nⶽ9۷B,zԚl)&WP]ePdnwjƨ]hЩ@>ea2VW2EH| 1\~[?q0g| e臒qqM߀;hEJd[ϐ]qz#XQi2EmWnmM}_ ٬Ve4ByIG)ut,mdE\de_xF+xMp+ C^> pqǏ9 g %_/%]H)$pT^n_\k &cEwZij-@]~lOQS\xΪhөI"HU y r~$MGEgtwR'S c hd<0pl^xWR<ĴhArYg 2~p3=R;eJ n,^\D; P-VEq ,; .(bQyT>t]jk[)*鞞93d"pN/h;j[߷Ht^V1 B;.wחY`wg+JOm0{y=l7F? g;!8q䆏McQuP''irGJxk {f!W&ZzbG=Q}d֑56ЕPl d&GUYgX_a7x?'׉,L Z:͇|wA%9Ҽ:#o j$3JTD?B$0d7 =Nbɒuâq6N˚qg"V7H:ne 7 ´\.roO>߱4m+Q޹yRN}QWD1^CQU}Sqȗ`W:!!?R9`L1pq1Mw>cX`xynt5o0{Zh&6McBT޳3Y="֪-C`)bz0;aYa2{0-X>x߮`Ix՜@f+Vq_{!G,e})ږnF#/ FRWѾn WB+;KUsԜ&]-99ra}8 juحqoUZGVOG >W^<!/22MRJoa|[O_ª#/Al%Whƙaqt%I֖kWKiGfS[FhxT7[7S!D}amu2ؚ͔`T/Fvcd/@X͉%֙E/`"<4U!`_Hڜ|p+7Ϗ' 40.kuzhƵA";Dz* $eTj"W6q~t06̳zv:-_Lگ(UyW9Me@bfXɴge#Ȼ 1Cئ>kϓɮ+=ڌ-<,;r;(m*/IBiAyGezdSx4"n&} =f68GV>eoB HS]<.lU~T ډ'< ^gA0 2Ps>W]%Niǚ԰2_u#_EMP] '/pDvf2"T!$hm{*A$Q4³FB nqgCN6puQrT e:Ċ1]ہ' Y+ZE[.v&X^Y -Q&6D3458Ls5RsjPvEBSP6`춰+-"MKj n ev_>~( Ǔݏ3WpCˌuwFNH@o\Y~F cT:ZelApbdM-(߆/Y9{0 t"E|MrYۼj6;E[_eH}~XlɿP2p~~s`St)Lk&׿;~iw{U~Kr W3T%<7$@gQ _1?-NvˠRΤ}Aɍm^)˶Oi7$oXQ0@um"{tZAIa|j̊e{a fUhKUp呴q L^5ĭ85\y~jU,)O$ˉIYh qD)PS| $qͻDha0۟7O9[ YD@ WIGvS/ \${ _dT+]pJk1$7nIq{G(z}L=9;4O$FF2ÖJ"Oc|V;&lȼE0Dq1H᧔ԫBS]a>fo0 a#"}eCz}S:i<;Krwjh^x,ɂ5Xh!J!tpmȄ_^G~2:LY?Us6ՌJ=.[km 84C oG:l< qۖt\e ~z(?ZٜO_. yT)E]ҲmG7xWnF06^r ;Hٵ wH%ހ` 16WXV2!Ko2\Ll#9"h`1SdMN\O鮀#0CPzć<85z|v:Iro*6"Sc,v=nB8t8LtonH~-xaC O|50+<ƥ RJs:#=)E䋝C-C-e󒞜 :.Jj̲k>|]NKNrAWd\JÂ=j${^2_cZʘvuB27sZ+y5]98 X#LT3>ZŠ^/i8o>%gFJ&dlUTCw$ ||Y@$;:;IlMw=tJ,>(*U,L{7loʁNhuk$kʣ9f/W}6[|PSdj̪TmbhOH?[I5Q8Hp;SkP.jf9lOx*mnM`&2M'6`?$G!l>/nKp5}h} vfE[ƈdM [wxO# ;+<*/ 'o_ujO2&anj.{e`A9hbk4`Q~yD3_mb :=5H cI2jEca>}N΍\(J`6#bU 1 _sepI*x^ m?j팲fM2&+]ϱd+nXwbmjlpo+O%!6e'O7ď]ȭ@}mx؆362UPA`O^捝 PYw*u7kkgvy~$:y+JèϤ[~e5IwkAct;u8EH3~h!h"GټJ. #cTc6MhV ObVXۗJnyխk,1Uhp xL6 TyMS.;T 7HؽxC$vze0vչ*r8E+-Qp a`>(ˣ}j}РrpzHz,Ut?Itꌺ#$!*FP5}af1އsxt%LpZ$B1!M;iy]F\ Uy(urrS8բIT)PoҨZ`G3[z,z|`e;aGJ- |s]f{N]̠P*;wS[ܚOՕbn@0,D#H: {=;xCRЦ2b`Ϸ( Kogh߆5o19}ؾ|C#zfȗ(D_D6?+]4AWx{ k}2l}.#X!fאf5S!$oxEw@;P%3:V0oCw sLabdJ [Fwxdo0aކl"WPV^CXO[3a덢.H3G6פvz1x?cx ;o摢cJv9%dڋ}LR qɿ~S̊>SKNyݨ0GV&G-Ⱦ}8 *BB4 2 ,4mÙ;8޻ISS5)*Ұa#572_6+aS}*#T| SvM#NȢ^ӄ?n,K,.-]=RM3t&#wM ͙*pѩH1}Z R9'$@l_|fPe)ajg;P|QER60C"BK@^H>Ȅxrz N#92HJޖ4HV*`hҚl'n<Π̢P !=nbڭxEց#>g>M2A+'"WI KFPtdL-X ꢴ_m`*h_E/l V麖/W*b4(oMC増+zGPfDB5]yWx-|( ۷!3/y3f0n^~lQeX =<}Yh nRB@v% 3(jjum/3IG]M6O|8(l.<()&Ho_VlC:6Cyz <> 9RbޙţSl!Z5M,J ^<\&L/2c`8",)^*X(2_ oN,F\úKbǼy9ir 5|x4(OH{k;-g 20Mfc,Kw4ۢ -B(M?hۏYkƵrP  j/?6VoL!~}feq 3,ey2LF?s&3ֱ5cFn)nQӰ $.KNY#VL†kģd 25A?ԒReZx\_tGM wV ;QpmNMoDZYxÜ8Zow,7r^M[ht)Wʆ}`PDg8vP/栗gql.ݶU!âZWKd`֟j^vNnTdHbGja5s|J;|:/#n`gR3&05a>6{k? f/'3Xd{ul/H/Jf، >[Gcx##2EƄpMp0%-,*ך= 7'x:«TEY?H1>6x 8EUq$ (qݡ0R"aPa]"q^ٽ9r iEZYAlGSH$B7Z.[(iA ZtϾ=- %Jk?5FgNUGƓz8%Z`ip$RBg'WRNmow΅M<5k?:f]sO=a%Ėĝ[Rc,{A9Eh0yrQ+ 1nXcjNƗ'w֗ꟳz%5xQ$ 7y)) ۑt&=jyHo44 JW+91_|Lsϸ3 eaKGf2›(ǁf|*}o?lp>ANԶ-