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 1 T< ] HOL-Imperative_HOL:threads=6elapsed=33.156cpu=65.668gc=1.880factor=1.987zXZִF! ,@b]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑvixbS-ؒI3&)dtm^a疷WZ_ݨqv0@Vp =wcn莏McRgR Ы; v(r:&u:wUge%*A´M^yQf{unYIy9C{}@n[ ǕVܣ ʅR-Yy.XOabE(9w[hܽRS*n: uA 1 HOL-Imperative_HOL  q~B.ho^gD;vT7cٖ^-tdopxp6`b8}Bzj\#l[-ӟ!*4z}0^Cq"xVܠ2BjKzo0> O#yڏ}noPX? ?b3vVo181H>sM7>"]<􆒬`,R̟#CRA˘*䗧G*/WU,vtsO9^? c~-ϖrP·UIRVaוHF XO k;I/l* #?-“ 5GNv[\χMrDaeW֫b"Սk9DXg4?_ XpgYZ7zXZִF! B]ŗXiɟ1nhЦx"n_8N]( eOtd6) c)S peD]\ΐ.6H%5}en. 0\"p,LT7A@M oLJA ˡV#R54Ɯ1c6R $v-J Fm2ȊMjK,AQCoi$-mo?9!\y^;X͕)$;o`ݚJ%+S yz CCOL=,zf!]u:,c"|[\n8 J4s-ú> ?Aglʟ 0#gYZ7zXZִF!  ]ŗXi%#8U"W`yZn+<#iX"WS_b߹@ B=)5+&I{aۅu)* JspvjDq\}GO,(~._}Jh;3W=)y ܦUUk^1#$$/Q8ZlI7Y/;lٿ*{bLpӉtp=Iܽ|AH=@(OCOrsW\d^߄AzLsaJ%<5\j`+tr=y<!>ZSP^ (5$[kc FFwa2Z'\Hn89bl#,oxj0ݠ2؜,KöİHҏ25ܵ%MW勬9UJJBG af7uW_ AƗ"$Qހkn dn|kΝtn_Y~y_Q}.pc,[;/\Dt/Luߚ>֫(Z_wJ8%{&h:K0:Ȝbf-ˍ.OsxOtxp@} (̒D됨-5`\.-ZDr#"hS-JHK`9cܺ'JyIſ@B8֬t| %K\ӊL =pms.W|lMQFH:Ej_ReATo2hOBjfm(yHn5þŠ8;mt{i() T~Utqn_ Į}+fW}0QYT |jGe:!rM찕O(vJMŦ$)shǺ/OnJX;{XgyK-8KFL/yZ :dt7'|?T2f<]34>nEy`*-!+H5'\G&wf{FFyc";Z۞QA>ewW23<_e+-ŲDrK "뼓H[8#6bԱ#U\+o>i>q ٭:PEiiW6jhkx zUy{9s#x?|0yQQƨT>6}#j<;ӏ?i~b763Qbh{X@:Z9L@6/[X ^Ok%nlB܇ξWp+̒׬}(Y%Rб* BCyX)[qB jڴELtw o%5b:pŬ>bREbjuDhI܉;rJ{ >Ğ 5vVCó`\x5Ť[T8sVXv0Σs`Qpv/6 R9 cMPOu5Gj"Fx\" U:FAkOt:0p@,ۺ8K{*DBT%PP0cFcΨ-…`d4?Dd⽿uzsZI dUŦ jvzե)n"d5X-rWh gSς!9ڎF R v\򈭙_[ *ӎZ%giϱgYZ9c431fda89515f33f538e92ca98f8a7f2d4fd526202f6f92237c25fe02f241fe1e163c0a4bca399a 63f007d29bfc488e0cf2bd9362b622634a9cd39d 809a914e409100418d2c13df98768aaad39c3c52