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   `T`;Gؽ8nt*q* .#lw gh,jmz4Ҫ$F`  xgrA&:T+M.ym9}{{d')?WTI+$?Mg Di:yԦrI T%Knw$2XAfo#wtJ~DalȦ`sVsyR>W\ǽ˓ kηn켢;z}=K3WM Dg0F)me+{WP!2dAC]*9|3Ae"MI`WPܪ>4{wJ)AP8(Ak>8tj2^ BY)@n_?b }$Pu$ɜVx@sw~rk˔'_.|0&Ql#sDF*/=@| ^l73q#m0~o`Kudsw3`G@ aߟuDͶ{k*3/$#j!}\> fzq\8^/#I%:iq$ИWn"B2[çnt(20)s肒[So<c]7\>Q3%#c[AqL6=!Ix~!c t)ԧԫ$p#ʪ㥩஽mUd2и^@uLB&uxjÍ 86qW|?pʤ{ԩ;b0a ċDr'KpA{x2iA}<&[Kh/7fc$?30$8|>1TlH8(27Ưs*;@(}j,U DqEz0{\} hOre_=X *wS/Wc\OzLT &Ft $i7FZ~"߁*;靬#Sd㻑߭ 9.uVI?ǃHGmͷEZJb*ho7NFHJ[H)iK2KyЗ~`te6q",N%ʫ< wU%Fv@9)s 8߶nFO!;38Tu q; gYZ7zXZִF! W]ŗXiɟ1˦r?p^v3HFH1*j#$R6zR [::4.F;ńf]rhDS:e?xLDF%g z4-Q* ܩ>HGDe_[c8\!$ymeՇY2qu94C#49U2E1GشYGBǭ386lDx~nF)gÏonPM^$gȼ}e}4>* |Sر'5Ql+b_>BI5IarPAzT;;f:UPUrPJ.3Dk&\g|KCqp% ENz}SnԋlDKq!ΈUAr0DHJ(6wH7WPrU.v }o kåkdAJ}Bo4.za@/R-Ҥ]X& \q6~ $]C N>N!ºΟg<"-`|̔Зu=I_n^G D^uO8C~y2<+>6]&bѱgYZ7zXZִF! ]ŗXi%;*ů-bYl6M*WyJhsu *" |Ewaɱu@Ӑ<[Z!GmR_> *o f,@v7ߧk[PTw"jF?~;{% m%Ja8| rL-OWѦ=01tT@iqF xd8_E`Prnp5&ᄨ1Ҟ-V gcs7LT*+D >Ԏ̿Jon6ɟ#:O!,4F8iZhatt. `ڱ'n_W[e"~H=/ʳyw0\By8Uʪն pߗ tܔ=|d%fo=SaځYRx&@2NIX^wƊVȶa{d3ߵ_m˼sI#E&6{YHE6,bY 虓dmݸL6ߩ,:PP׃zuvQJ#'w~a Jjg MArb,(i,h_J0Ε͝)mL!-Ar@ (Tw$r ;t7|N5d /UQ m'V5m+2y;5J~TZlcuHyaG8fube qid:M`T>?1|Cq`} 1̗?$CIau4D+vZIi=^}řqXg $!;v?&/L1hg1x醁 j lmT[qSOqm`0[y= ؍+h($PR,.zqe.PKXIF@`X -48#`$owx@xAQN*-Պ:T<ȓ=aWϥgXx: Ƣd[D 3W8_ //@RVZn۱7ogƉ.4s$*^h..)XXċvVb/Ltw=k:b(-@fF^l%~"Yݷ%@%Xh}3KP5l/^ 2T$;8- ToJ(˄ jLS6-ݧLLk>R,,8+X*>KΒ[KtIAӝ~nbP@[Jުӥ_L3󌠭4hfK:|6jν\@߀s`m{VοjkwzF388nr2hsHj١ĊW/jU̡<Kꖑ| 6Ot}n [Li51;T,|D ȋԚ­OOs U ѓN UdA̐ _Jlxg`SͤOO-jgYZ9bbf89aaa4816d5086458518c2891a138d50705f2f45ef79d98bf4791ca25c4e1af3b76b517203ad 1b41415026d3583c6b6bb0d2ec2995e8feb75528 929b556773f49674f782380ea8674f57747697be d95794491b9cf91cbbe1725dbbbb0029d0bf0cd01de8ab227ef2c73bbe81550986846359eaf37c22