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 k' dL ]/ TESL_Language:threads=4elapsed=21.614cpu=69.024gc=2.612factor=3.197zXZִF! ]ŗXf[&x玻C+!X,#o dەKb ;&KXi/f_C7֔L8gC{q0+8S 1i9Ӝ|G,!aF*7'# G\6S{ϣ9˷xRW?#jZ;N,3ވt"б5&:,py^wZT<-ooy}1znR goϻEb1 V@=omC"uRhw+NN)cW\M"'өnK)bfӒŁsֈ; Q[?',H,x+̃dvCBv혂*OqΖAQ%|5JEH>oOìȩ # YQ˕:B4NmFT"L5 sw'ElRD,+*y -L/NxXaN6&:[.gĸvE,OESRoFDBxh0ۥ:7,\ڱ3w"ǶRI{dI 1G= qf~r0'.ks0^eRnME|)*MYqe@,7vu`+~Kpw[q(Xn)7LU%$]SYBy=]eS i9l8Y("EaN MDW~o~?ZQ[*'5,Rӈ:0l]zCkGx=9i k=,qӱgYZ7zXZִF!  ]ŗXi%L a yfu {o5klzMMpop _3R"b:zs)s]2&"k#qZ=-k&' $xPP 6"qRe7 «&ч Eu3Mf-؇˕ I]p̢ FZ39(cqZW[פЃNEZ% {2쿆LLa G(GNۯNHBж>Jˋ4c*:<`X<:kL'X>!N(Eiߕ" `i%S/n@M^@)$bl๭xEˁkU`r`:5*&a]هl-M˜SKKI3g6Nm~_^FۂAؕwQh9b;O W!'Dc_t+jq$I3 @Fb>dM8ɬ`Xx>:%m}N 8?O^b;.N"xT;>պJl+63iĠB3#1‚z{;sZ0D2YblIq< P$旨Czl_ᔗKl`В`L>|T.V% $HY_)ܲs])v\`i |D2*”39y&W? **}qHJql ;MdN1(ᎀ񘗒$y'\]Ή)Yߙq[^ c"zc<ƨyF$׾c BfME'XD5]ΜQ%'nKvs $4)f»ɢmš2]-ג ~&N?% V C簪oR Z v>A2pRM2hn<uV%G ;6/gOt)I"v^o W.&_PBFؿ/SHH+CP&ůf=C2YۙU l-Yt$ ( p7/F%E0ݯZm  {& zMvlԬ $Zvhp*H¢4N{49b o&QڿnMQAJ. P.!="'oEC?W2׈+y`+ gpsL`gYZf2c0e2932b7ab8dc846db8cc8270933272c39575d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 ' TESL_Language