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 M1\V糚i eץ[Kҁ3H``>7}x0xT>>@}zDOq(c'Ҙy8ȴ3M xT"G׽h#%1LBtҬy%2;xvۿPx!bW=P`$ϙЇ $+"K*1;@%`Rt; DrIAvOudΨFF76FtK8Kzd;`!77\{}t;p҅E9zd 6 p4pdu5ץJh~6,>WEиiܚ(J%b2u١?V1kAq|tSujw6pQ !Ŷ~;4az lvz #w>BԽ>s:[64IտO龅 ۾ս+`[c n%^h0$Zڌ%#D[ź,%Arn .ư%h:d 8sn Ҁ6w0Hϛ f9{6U }RmD&.Wm=kPMQ נ*ɉ[1?;PHGM>)xq_CH_u܀,0Lh10J8 ?3.ǽӀN-}/FS=ȯUG/3oNNo7aԋvaCgZH#8*!ƞ"92w <iIph^3\p6뤔H]04:+qܫB5[ ZՌK7x1;vFKǜ&Pv"%My-7'D1\{v& ~roo oZ1(:8!F"&Zo1duA&orĚ ;=Y r2vBZJXC%ꇜm'!j=|!ysLGR1@ߎ?)4brԻZZu~v.oU.%G${'O~*PLTY5L-Xp)7;k3BmUaxlZ?4WA7g jc<^1$B9ù=_N8v|OI;,cI9B迼 &o΂;E|rmMeh7:bY@hHEY|$v Eq4pb꣝.4_Fՠ;iUVrv --7$oA`p9kpJ]=~ ARFՇ@fNYR[%IQ4GtÐ/L|[@ȧtϑr1sǚ,N>jpTo\kBV%!@- giAܗ@5ee}w<ȳ7 \b<+oBeAÄ 0Xki(:gVr ͲdSOm+ m K!ǵ^ZpVVq!qn+LE6Gz@lŲq|5aSŰ_{HسY'앞xBr4spU`>T~LEC"+]S0uGIݞ\nEݤŠdE\6|IH#d-~/Nߎ0]Of:%_n} 꽠/]4@ 0zCgYZ7zXZִF! V]ŗXiɟ1S:JI 5i;\ŮIQrE%+r_5dvYKZY*.CCm`kl7`-!Zknr-Ma#kEXm1` qZi2kOj70*Y>&:"?*rJ$79 uvc7iTp< EV?_Ji~bv2b͋ Jݛ/^ǡp-͇UqhT&CEN@ˀELt Zw'}zp=Yaܱš<~[ J|)*7͖ӆ룋'1eXˁ]mHz|m^-> e Spڠs/ߓYSOI_=cx o0vT)娞HFVkh'k[t5ť _i| z2q\bx3 h6 '4`{6y&OwKc,Ha ]iˤk^ 6DW Pp[a7k?Vh3[)8eW{ $=>bZIb2g /ۋ1Qs$-jH%پgbqHI[-R$RÑf8$>E$j5b<|jum%8͡ 1Z&0(oI7ⶉ0h [F+pڱCU4Ir,x:W{'a}ޭ`L3$aa;xo7)[܃ Sة F 0rǥ= +vK41~fEB+gLqoRUxB9~̎p) jXQ,i  ֚?ͽ4{_݃8rǣ {@-56)\,Z 8J?s]jť$6&?Jm+%ۭX6FJ C>V+뒼9ZuHlk8;TXFgO{/lKԃ0b[4uɾt]ȋhS@7 VjiУ6d?Kd% 9>6"mh̬qLਜR` g:OEx^qhw 9~Jta9[:卑\]puphѯ#* į]@90ExL7e &svpM% :07-m:bA@ܜv [U 8/:N!K;is T$^eUyIi=յ©GY:Uҷ."Cc1ZRoD3Šb{!Jw[ tRc.S.z6劻 |=% W+"_r%w8ea‚]şԜPP҉HE/ Siie#z7ݗ N]R>A9Ce|YWZLӅ0_!PiǗ]w^E46gtjYd_%|*׹.Y_sK1pdDSjv\|P"&vw>?۷E^$Xb7(7nלi*l'`_Ϧ}ͽ"ӪSgRK [##c 2o"r5Ȃ~LN%YvJQC\c4HHg]ęiL*o}#"o_v˷a%:0{X8pFϰ]fU*/ goJOn'3㉴'WO۫^rpT2gRqyO4Z@}`n[ ϣO\+U-Cq{]bD*%r0c-I?.XO#kn';mKy3N|ضks/\- Uy dsXw,M4㚭=HW'QTv ,H7qݬ}*̈́F]0v(pһZb(e$2 ifׂ%Sdx$v!/lĵ 3IǿGOU~jK8 aTK-(2AAaMhwXDG'mTHcoh""Pch>];j5C_S(WnV贱=M2qGǿ4Y(bg57Yd&4YF VAAj*yϽofB?/&@KGϩ{'ގn] O#8d=uS!#l0"9; Bd {q At( 0(=Ea"z׷,7>{R#˷e\]l0uFI-IԹjq<(gA-'/ul5mM`8fjt,%}¢S*B 2%ޘ{'~ю'DV~[Z་ٰkki(dy-bQԍmZc"m=lB>GeYp \Y8;Ov7 +gQڶ}oܥ!R&'8մj cu%Њᴤ|b~݄1NY-۾drax8Ai 30h%%PHm$V19 2ҩ )\Z ƵhBl.Jۜ CH?gͮE8' OB/AeEӵILճڡK)죁5wy%g>$qJ $Y 'Á-,E2_r᳙7ӕۍU5wɪQRW^eWn^[*'|3=V/j1&}!}Ɔe 2Nyҙwxg$o0mQ}J|tR<:l##/*gYZbbf7cef17cd29437ff74be214283350e5a3523fcf773f64b5324612793822c6b9168a199158bbc25 919d4d74d5325321cbb68f9d83a169ecec0e086e