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 $$Y1  ] HOL-Imperative_HOL:threads=6elapsed=35.280cpu=67.436gc=2.048factor=1.917zXZִF! -]ŗXf1-q恈1$1|-~yߢ" w7Eh % .lbyjxƗʞ1ʁ8 qN{ n\ޡl 4.>3]s]]ykeCq] + &kH=vھ+H '˄]rh-*Q8[ o2!^SBm#W;@kS{ HTq ~W?`dwZiFAܳyjFGZCO ku+ݢΏ׺@;󺢠x-QC.Jy܉ 5D?)RXn\n,d3oNze>N}2z1+}^ Q$'Urfr'|7G^_6u.B"wJ3yoUAyTùH<7q'\> c023YjȼS G؀HHXó5qs Aݶ=Oմ61<G3wl2 (~tKn=!*?u~N\Og:]eQ75֖V}ZHzj3AǙHo:"MbVlRI$)=xO+=T1R?!m&nঊq@(=, \׉2ƸZV f*iI:E*Yj=tCO-o]a( p(^>\I֌RP |oR)zĺi5; {׍*mx~Ihoj>bJ{oP6G&Dݗڇ +$3Ly)6t\RGwc\~}uYC@r=Rnc>:Ap}Kz'nGu=.wC9Y"Da~asfeœ,Ɣ ~#| jF*SecWET1x݄E=񬳠g6zue1S oLV @fSI560р4Vs&(l*lng+o-0QUB݋ ig [{gYZ7zXZִF! G]ŗXiɟ1nhЦx"n_8N]( eOtd>mIkFF;M3um@Ʃ530:]?sm4#O%V<"8$E8q6ōZcoWJMw &΍3 м`XKp@DT^3>N` H&xtS*[ H -q.AxGȊj'=7|NHIO;Q9yC-q22e\+H9BF1-b|p+Q0B(aA_sgeόYƦ +8ܷ~嶻FN  4ԛgYZ7zXZִF! UG]ŗXi%>k;C\;2)=*(eaGupn얀zTsB5Y؋Qo1o,$(:nӾ4|𯸝M*Lp}8Th5N%ܔXù!RDž! N.T/e U ఙ,WnMۭ8NcUp};8VB##3>grR8ng:K+(bBA -[(5sfOs3]]f R}tۡMrc"bȕ17k>i:^.`uz Bʙtbr0pIs6c>+L̈zBPc_,ռNآ-CN|Ƭ]q5ЭAS,Z8S$ptꃥ7%G*pV Hmf5Y|D#V:l0 Þa&̰g"ωװ^۔YЦV+]N'$^wSet"; HbT@ Lْ b:cJ9Mdsji'Okb#lpf11卑.O4oɛqyo3c?GFsۮ4/_U5`O0;rkq%D,&֍~} tKwkzPSw2f _QiuFuzy WsM`Ot$RqCL^FDnkKqŠgHWVny;_S`}|^/G5SpMrh@B~,jGOf##J夙4'׻_䈯]{?Jlu̜ ۇ̓\CUxqyUVpHyު_Nr vfND3|06d IX,;Q[ /rW{QZjI]8eyz2MzrLگ]Zӝ1]4٦/) e,9N,N%F_?Ncj\ w5wR k+5Yrk\=u t0ztԽQ Pu zڽ 0?hf@ӵ ?>FXviej@v´h`F;;3!0U&+ѡ}j>u+{p:)!1Rl !%=>ӌ%OVh\% PSL ɌEɿork{aln$0먴#rC$2ߐ 3-%8g֓n!XE_XWt]'|:I C@VAmBs}BȲ಼"q ;4WZRru)Gn"69Pų H.`z]ꯑ(8-H8A:UhG {F 4s2E݀-ڟSQ PJJř| h,ݷ7v<.ϏCC/Z3Kߝ瓍9)x^U>"A[%}~[dѫ 3Q-bq7R\?p ]tfbu)_:(.P4a Lpx>(D.YCT:uJH.¢E:@FQHR0:8yrYCi`4XO@ivkRŌSUO,hu^D жR T8#.u]