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  N N'
lH?J f x D9YA&Rr o׶JrqP啈B -h:+bl U }K- Ȥ|sADk>?V[U\'XSrWʩW{Х&ǥ&_#c&Sf>סW޺1J d{SXECbJKds 8tؿZk46-z} T ᬮ"fq}Nے7ggsI4ySdjA5~%t95lp25Cb^ Պ*k7pCn}jCAj)u)J6ۘh0c{\"Q#h59/G7룅2&H&zkPD8"ˊ?X;z7fp"fJ~0˵H϶TnlVk&)]qqY/Үh!`78ZK5I;9 *[S҆Å*ݴ*V# `/$\Gu=8J_LRD rn?,Q[og/_$^po 5sTm"y+7 ~!,S㶞=@'&/G7v8!< f`* ̳ӀՍdž)V'YU m > 0nM;VpCL뚆;'gڅ_ۘ//<|cr‡}+\B]%4 >/<,n]!3 GV%a-#co*=`8}W+ݹpYx߸21ԨjNc@ꃆwbAd6C͢[޸5Y,21m'%tH3JnLi 5&މ@=,5Pg' 31s<%IRFx#1;Q^ (4¦#jIdPO"Gɑr;EQ&nM B~^-]:[ 5mv8U}ʎ;wIkZppL"QmZ(C` U*8:&4]V|F1ؓw|f5P^Q BIس3}XiTG]x@@fBXJTj07G}iSX>Ug3L8}gʡ ,7rhWm;I%Y)ug*44XX[sZ@m*,>h[I߈Yfl<&Nݚzڻ.;AYe`m0-3}J蔒opBR 8. x/ogY  LEM  Z7zXZִF! \]ŗXiɟ1˦r?p^v3HFI|%[F,Y,cxuV"HX8η@'y Eu#<- >`v3!&f+ޟ.]&c-xCtS,,⟕~Vp Laa8'-A!qk.Œp]]oowbDi kMVjԣ'd<_r%]ʣ ~Û_/*^̥o:j2|wBbw :mRdSlZGtvLX<S?K" h4&]=ZaDK(VDXֶjyMUcy(Gj׿ hMPUY 5Li< <4{L# /\v3zH uԕROf[ȮMd&`+iK&k3ϗGZ3~{RYNq&K66u*> 7#]䉴hl=l.Q×;0_x PSHH-"U( ǘhvlg\(5gYZ7zXZִF! ) +]ŗXi%;3?e<'7׾!!t6W"VoVYC>܍`<;3bIoQUX9v "CyG)i`Φg{ N/~-{ݹ$A$%+){1e[OxO(H~|-'0zRRZ\Ԡ7!Rk3Yb+@Ug7Eu6Dy5,o7⟾VnUԉ]t@j= W|(| ;)vA%a_3LD&"Cs97Ԑۏg,fW`  gqYEOҍCU1Ӵ^ {Фq3 >_7rw_&GN˖6tq+ 8KJ$$b(šwEkQORO[2f%Δģ*[.C/dpC|Pos~nou N "8_nA4n ВAZ5d-Y-@DW뺷mQPq]eVn} BS1@[VpXDoD_*dhDEוŃKnv'܏ 7iI9*NZj(gU *2ٯa~M1Mwr|/5|~<m/Ng/HH_sE{T ,fz);ʽ.^dj!ۓVשJ1>dZdx SЭ@[MW]Tcb;L|Zi?{pnfܰ$6YZBF]?P[r5q@֐R^PGFdJ8^` -1fHo~+u6HCHbaɉ[@L'mzAQ%35jjWL*omZ%Jgo D ÈoO`XWsɍiX--l6KIH𦾗=ZbTi lWm'B=Ȏ:215L'gw=bz-&p1Qcӗ-QX þHCyc2|D֦kګԹ@421;Р^1<GO(N%QV+c.ڑ ɔ4h}HsVPye`SRiǤ,:CY҆{~96 &5jvhZ)'N!&ʑ~,@k4T):opR ;+N" eS=::e(IĄTO';<還ܙ 5k9K9Sd!!YNmRZ XpM"/0Xk@!J]{AyWup|Ȉ{ `5>Z3E#@R]X73fNeI{sNl[b:fgĢ>CǯOރvXLL8܍x އR5;t=P{G Z`ЀPcу!{WTDDyϳNfw!4$J0Juo1$<^ˆ)gtS$) (o%CaRIS~Q >jCpKv]a7a>,mԾ'UFu թ;I]w{h7DZgYZ20361f9e908871f973af74c459d0fb29f41e7b34665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 8e753d6d7b3a7e7a36c26f3fd0ccf15f88686c6c 5518c53a4f35e317e698316696c44e8b6710993814344ce483679ced4970459cfb6e68e475743299