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  - -H# | ]% VectorSpace:threads=4elapsed=34.341cpu=90.636gc=3.672factor=2.647zXZִF! =]ŗXf[&9ޗepz,>SvK9Ofh f:zƾy ]Y`:R@'^@,S%?'6+*}ʥ18KXiqqMƉKf q'2,K-6yOB0$0j{{-2|Z*1G/ b'V0d_\GXZ3|W֎MWQ1 Ю>i,ɜT%c O@1o")p'U]Wj E5J,Vaiugew{n;g"?9]GnR`Zb8 >i-ͷY: 4tDEP<VGcUR8Y\.0נzlzc Пu xwS]*Joqΰr&]zQOT S|K4M/Rލ"7 Ak*DRJnيE˼Nڲ嚌fbS8Fnik 2H|F=Ȏ~7Y$mL\1ddʸXfBځ7cqT λ'2Aua{L."; OtErZ7TbeyN!'P È٣0,rT3S # VectorSpace   YN@)dg&ICQOkSv]N]2̑eB[zsV^ 2wVa@Aͤ)Q# vft҇Sא= lL,Cyyst<elD~;9I H7٥ɲ4:"ZBǵ'DGk`@~pCQ'jcBI"Ybq!D {YαgYZ7zXZִF! ]ŗXiɟ@OeW" bB@k_({679JćGU K㋟$J+ *TK6Dn3EL<plY: sl\C.]&򺹣ywCқ(Zf]Sv 7,cU2Sztvss(%xGرgYZ7zXZִF! / 5]ŗXi%L RtJC@88Ь<̜6@Ƌq0/}EhbiOj[}-#~ 83̷N G$X#Ger XIRב3v7}ǔ;+-oQ'IGϡ{Pxӕ^ӹ!8_J?2OPϴҹ0~%q#j0܇5Gٲ+I۲ T۝2CPn7ĊV]kE'u K4}*B+swE ,9$^)FVTP]dv~S@8p } ;cߡ NJN5^`<]fƕ+` 1r634q Pyovgt$9b zR#Ǯ ?7㋞1{8Z_\>R`PuL/^hDoR v+͕7EPgγuZ5]]e(7 7J0A%Ul~t |YƘհk#c% )ctZ1YAk\6hoj;^@޻AqMܜ4P݉L.xD #I--OGA Ax\ܑ1J쬊L:]:.Q!A6*xK~D9 PP96 q/\T wkfǠR.D0,3T9o=BDʷ-ZA!8)-5`&~1^c:C('Z} 1!-w) |2 ʍTbHvQ|00SI,x gC-]HCmwΝE)`W >1#P<tKHN. K\ܵ?=.J6 Da+RI]Tmv2 7Ijaֹnp[.Qt|PVFՋ ˂AcSWt-E.1Ee֎w %<ڰb tXLTBy㦀K}SJ!D35Uv&+DP|u~YWƭVZ8!,l]UUozM6P.tC oǀ] ʃm(RB .iHlԁA$nEy{<1׺?v+af ZM=q?l^4$4^RF9TGfY}ijm+̕ޑF)x:c.CMZPCKJ&гnSeCk4@밴5t; PNnGećX+w%Rl ¦@zmîrJ9)P*_eR*J5 |ڲH 4 >[;{ )YRGߺ).iJu3.g)r[7A&Zf k=m.GyCvvxIE*} l 7C,bISEʟ=!UNoyv87)`[MLSR} 19N YQjQݣ>5Rb; ;Pf,uoljKO ǖ.MB0Y|wk~ҡP?a WF:. ֺJ-|>d͔}M'Y,ou\6nJ׎ Nrs.(8<0#:i^`>Cj]&EBF],YRA 0G63_IBx A0U-T5s>Wmqֻ@vc e?j}Ϣ,:PލKvߚ}B_)ȚYZR1?նߢ/D7V.D;-*l01C'gYZb9c43260a329259f318107f945a6391de798eee1d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 5259e2dea2674c3bbd0dff7545ea77936488882c 819ba6acd0b6362f6a13fcc1a3b4fe45a4f4437c b2b885f0dbf561de003595b7b08f3161afca18e1