SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  L+d ]S]Sturm_Sequences:threads=4elapsed=34.162cpu=114.160gc=2.008factor=3.347zXZִF! )]ŗXf[&R;~e3_eF dtA:'gh~{gE'>GAq\d1 Lzr9zm*TWwxs$dӣ7Nm_sx>_ϖO 3* l\,nY3K36 L6EJ-'p/]b]0X)xFj-뼧|I-쟣Q(F' 2gFFkN$hU]GN-8fS? ~~3;D&~|:ÿn<_P(c#RN 8O{k|0-S99j &x)t+ c09p5:{_e$7/&ZJ =0 O# 8aCd#/&|g`J5 + Sturm_Sequences  #g*P$'{@VO(OK}2%C+zǜd8Y#DVD*Bueׯy TБ'~K-z0WCqESc_WWoV _'hF9 Q'[1k35Q|`4p%@ImOR;[ά= 0W@g!r~H`)%͒GDNwwCtZ1jSu*TI ^z>+X/gUG2C;%c]Ȏv|Ka*{ԵN?6EvTfui9YNW0`.pkOc$zcMjYk?ۑ? !qgYZ7zXZִF! <]ŗXiɟĐ-1ꀉ=C ?xue׍ n1>Zb}NteM{R5zŀ+=6PE6}ˇ3/ִ lL'.v3rE1\Zהʪ\ń |ou%X{ő i;7rT_8E2f xL֥>gYZ7zXZִF! V F]ŗXi%L ED)0_ס[a6_Kg0Μ.q<4|m!jeəA 2:&/ )& ݢM$fb'PgC߁`0pL,*53q6 Mbuק@ףGchSY- `y;!b8 ʫ7`a':T@h}W4@{dwzz=8 !BgGe<H 預xQQ h8eDԬod%S^WɊ97`ƥ_mTTjWW 63_br(KJoYܠMK&P"|;l5b2,濾XgҜ+˲&;e:sˑpf&!Zm͚}m^/$)BUf-HݔZ#gwD9"rZ|v$sH 9G֘ ]Q62׳֠-% ;r)ʹpߢ{`LD=} DZz|o\[+|"*ed*" >ơpv^%axcb'd~*p"~8`lvf^6T!$~wY'lۗq}-QΧ{!P!%iRInK`1M$8N08KuP1G0\T./it <r$Kf !,/B~' /9 SR&Liԓw=7 {}̗c/mlgy91gn/vs?c4%MdNJy.φ )`[Uey/%=#&>~ =R#=fHPDDCmJktvU=?Lk_a6-mr(9go #SEŅTW= `r8hn,,dga7zV[x)(+`!Y,<]wǫ0r:$SM#X1henqu1E;ۗsdyn! ɒ@fie3dNO؋J@Hu.{B*2)x6CDA" ֊MVlG׮ȉjv*_,V J[4&ሏ8+gKt騔O>9WԬq7y<\P*Vudx'M àR2vy"njWM=cyf4h%_E埱p0~i NodT$K>@gG*REb فk=RI#TȲkPnZUCǽ;%zSeA9(42@.nv ZY(l'V_T3\{<݁tU\lOd$N8ƂaqiȖI sIEa\9>Szzg>Ku49=QGPǬ屢jY3b+G 5?y[!mr0u&y0S4 #i&])q`@U4{_Uy"09s!J4׌f5x]Y!|>Qhcw+@V3e[HIPrʮSO)2¼Ml ݃Y=ʖ#'AP&VǨ I4k&M 7㵬J17RMWW S `Hy }7%%gƴA?xfN]`K^@$H_ ? Кdh91~= n(ձ. q>=AFow fP Oaf(Dޢ̜%7zso2ޭQu*}kMihaZF4]vOFey:%Zu%+ ), qMau_OfԘKH~:\'Ċ!S/,fq4vҮL){i_ _Kqod #rDo[)u2*;ȷ- <9e_c0* Ehg=I%[Tq8PpQX\JgpHjGްIݠt?II@c])z[E+;ꁅؒ9¹bP5;h(