SQLite format 3@ .0:  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  C C2 D< ]/]Nominal2:threads=4elapsed=22.665cpu=85.036gc=3.588factor=3.757zXZִF! /]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{)pXUS J"ե}&<-'3e b%+W0_Ӄj-~c{7 ^<ˋOkSvb~.[_̟֎68v^vC-rAgYg? w,rodh0]l7/,Pm#FK +O<2b1[eŒ%XO[-nKNOj !@'cjدI1!'nPB3EoA,,ȿ5CJ4Qt'ao%jpyBKXhVp#e83 6ā RZƞf4q_.Djp0AQw|- Faܺz|zſ0bщ)q=;UR&ZRJ<=K yt]7Pر企RNDL?wdB:d.|UˮKo,g[XC*+5" pm vS?k<]QMݒAKd)bL< cP=4SDJ(5Tj$V\,sqoZ :&w;▝ť)f-kj'tJ4ׯnviOE{Ut ޜ5LцiHDAB]Q6_KkkfJڑaxqf _>?gYZ7zXZִF! #]ŗXiɟ1˦r.Hil c`1X14|:)aOb*;* }a?vq"Ãĉ!F?ÛMSGƴjT8-e*-1x'[}GsCvzc++,6oyOk4͝3N_](v8:RD5?lWӟ6rϣ !eh:{*8(Rˍ|B}(Cޡ&z|Qwܟ`usf6J^}3c_fzV}NG+z:O_ i-:1i]Q=1h 'rLȐ#w% [GPsZ*Db35֓߬^Sx$ f6f]>Ԓ=sA%  ¢YgYZ7zXZִF! ` W]ŗXi%ES4,aڹ> e$9V~J4DD#CVDzEh"mb{⌝|w[q)?A?~Gt+F<'b)]&RKwB>f;mj `̶NV@,P\DW,y-j8ő*M|x<~(gKƱD'Snd>Dtz:יa8/ Ezhy@ϫT3+Zxm* Igy"qΞA G3h_Y~g>h5Vkx%[A+s$I*KזnlCg9Bf`[Nt(KΟE-*{龇|ށjWs^~]@@l)560mnm|qeҿ!$Zm^Cԩ7S>%9}#6+Ѣ^nLC,ODs Ѩh +\\xе""Ym'Q8I?-H ijW{7;=a+m\ow)C-X{P{%A5%ajvB- P78)pAI[9|!_k88@vT,vQ`.a$(US^rZ_ !Zav]'t~R`/RcSB6s>{P?\[ܸj!Xa}a}B(eM_=#jd?|B'/Pׂ@x/ƳÃ@ (H>π*礳*ʏU|xD2y c=ȥ\#W:yIf%oڦ|HU'B*kd(`.} J?,}SE#T+֞ZÖz.ȠJѨ/!q`dԢ3BYGp!Ĺ͆L)U=2"?` giUPrX},6nށ.sL'%Y굏/6~R{U0{&ǿx_笌L.~:g.rZN/$h%Ae|MԔ\\H+C=NR(%`~*chGY}äuP)q OqM &g5m"r/3^&#U@7b^C;3ޗpä_י@8$@WEqIV;*Ϙv@/! %Mc-Ir\6J$nL]rؽ8HǪKDz.9Q6-^WB&Bc ɨxʿ&'mwYo>QށfqD[&սcHb]= C=KuL`:QU$iu;^<2b|`+8Z*+^zRHɍHwj s< ŌԞ#>u)zf̲ENf zF|/k)ҘP4LG+ \ˉݪԬT}@o=94#(o.9's\r{VRcy_sy;S?.NGIHVqXRjdU<1QgYZ6059453d49fc9c1f2fdac8c7a5617043e3edf4d776b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568b0fccfb6eb99a9c2811cde72d68a677e31d3a36b