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 x ,\L ]S Show:threads=4elapsed=18.888cpu=47.308gc=1.724factor=2.507zXZִF! M]ŗXf[&QͫВO(KBCbd$%sqc^=D.IN6/@aQC+Ȳt[²d>8OY6{coQYș{VŁAܫh+kޞG5Fu %WIV_C8WSJd_SRzʘL i51qE#gOziTҗBXxӔ >l۾И'rI_q9r.Xw˲2R' zwlicYfpBQwۇX5LlT ? oP,3 $5w~q7+>;0##<ߓ4q=ej 't l\K1avB>J/T/7*8&bc!TTI%ZK(i d-G3F' `.1 9 pe@lXܞfmTE,fkVq@Qc()DEeNJYҏyi T|]Fh[)wrIǀ4Y# '+*it^iSL1 b2U* 9g Ahg>_rDQ_>ꚜ*rι|~k%:\ [2Z)zN §֌pb:"o%t zlF1#q)grpW#>EՑ>.iDIxxHlf#e 9o#gYZ7zXZִF! Q]ŗXiɟޅ*-qb;6h߷;c$?Hxiǟy".;d}cPh%ӂUkP)R՛B6زO#+Oo,>:yѼ#-ms?s ZafbzǷ YȒ@7)Mz/jc//` } DC,ܶb<7X|bk7(K|෱gYZ7zXZִF! ]ŗXi%Gf@H _Ө6J& j|#Wѫ|iӑNt pRn6&T=oJWjіs6ڣlڵmIg~I"8=_fTPɌ!ႱaY/d83Cr!{ZzUvpEp nNK7Mz̺]bx~5Q=d?EL4sˀ̶5ۮHr/-ߟ^N1K1M 28="k۠CVyrnnm?%~+VЕq[cR)gط2O5Қ*{%vVj 0 ` %|6]̷78>ybu*)#S V_uy/TnnR$51I~ ǁWB[lCR4ܐ0&_Smaσ3.ָμԥ̱*jr aY6tL#s<4#zW=QZ~SDR 󰻸"QHTU8 &yILq #GS @|~{[ے3K(NRH #s0S ךs*Z_[HE=9\.#3;/4yFkVʔ3̽Aw̯![ksf% TO[&}s#Bܘq_ Ԫ^)Ho;@B< ƎI$-)]w%4V!<AJw^ wqV؃l G:gdd,{վ4= +cu_,1Hxx9$~:"#MU84N#u j̴2r~+fEJ,Э0Jj`cY"UeZ(f+t쮣~W.t B6ʿaq^8% XhĨq+֖ڨ?c[\=4?Y=)l9V΄5 SJBDC( | ( 568qw6:[+זژ7]l֗2E2 |y?%l{ @t61}r DyQpغms &~bsɭ,=k;Ѫgd&=j6SP$[w"K{sF^wZKMT6dzgC*i+dۗF9@P]Nbi@,E4>%*\9ާͨuKpPPyByϗ!P[F@ك5Qv*ǘCȃ7TOH-(;VF`0eٴ}JTA$Ֆq+&d|*#`If;9=*ǫ؍oZL.|~ͩHr2*ho8d=?.m8qH]2Da75.6e;EϞ,L1Զi4ejm&^}7恹 y7ʛʯ':c-V<4-9kŁ$9j!dMaˑ*dA5FA\;%ģI<')6/nsl'xdo%7yx̘%".5YV2sx̏'}Tn9  Yj #6}Ť>59G0XgYZb9315a4eb5476040cb92ea9cb4f66999d90d88721795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 34b3143175cc0cafe9a5ed0bfc2c39b86220bc46 4959b51117b58e4ceafd1724052f2e1f797719c4  Show