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 U <\ ]/ TLA:threads=4elapsed=11.308cpu=38.844gc=1.304factor=3.447zXZִF! k]ŗXf[&y9WB]"-뺙௿&,_ z}?pQ:ZtUD i0.i!bڳusv{ @ũvkXI](҂bO1c-Ν`pX&%U[RXBH 6PW~m<'G~ ,ccf+ MgwtU͈y֛,VVvn&M OzT2xrcUVyDj9Y6lP,Eq3{Eo**61@6c*g,bz7tݼӲGlϋG3obbiagbkS}}͖j( 9,Ҫ]."ƻ !QD\?;iT@gO(V3ehJ`а@B(A"_+|U#Yf݄zr=\%JyX,4O$>UVwCi˱gYZ7zXZִF! _f]ŗXi%G>F A\%}5gh#'9J7OoiseKT }c7xiVd7}  Y,=7B9PWP!NfLUECѿ gۗHgִ3$ |Q/yF yVAW.a$~57Z YHB89m#Z|c xwƐȬ_:v/@V4<?E34;ضc%}E"Cj pI$:Jʗ0?I1H 0/f$ wyקuo$,0h5oȃMc߸{W(2u7$ |rوMFJKΟXٗX-3r>ќTڂC> y =]~Y:_g@2EB"b{Xha 6B zTl EP"6>L=uiOtd1̎.yWq#+߸8uj/Dһ^T5}1rx6pd @ )/~¦}29tw ~+yqc{}R X)26ޘRNikϮ3+Z3?1~B8 xJ'D\}|X;K,.ڑ{ȴyfx3*״'࿾:WmWrFэD\kjyB*;$4Fg0VyW/W:P :a85#5Ğbw[GaJۗch^{Mn&]4Oi=T58o/KO,elFje]i"o)t$-|e\C&f|q-ybkB0 Ě2$mRbq VN"E.CDKp>sI/u1F`:Y/6d@ν,{,{韲Hx]V|ʇ@n8 OK>'cmn1ş}:E[,ʣZYL#^>rގyNI$UT=g4Z ğN9@Ͽ+j p* 1wZbqxќGuONX+/:b*MnA{2LnA "'ヷ 2r"4LTGC+ }v8*Յcd!H\+