SQLite format 3@ . BBh77otableisabelle_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  tD ] Datatypes:threads=2elapsed=39.210cpu=58.192gc=4.460factor=1.487zXZִF! q]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$b8xJ=N@Я]NxljV(/F^v3AK*,J<+ ?Y9޶ kP*Rs tiibʫ9- ###L66d&!8Hr#`x|}>'~66o?O&T/Ҥf d-[44/ˆ-0q@Ln4{'k"[ ݀AGx;Y ϗVdt &\xAS5cJyEE>J\оy+mHxXɛb\f<`dqBAy5 '%K𭱖o*.]aK*@]OsiS* +rȟLJM7KnQIkC+GDSr4A{d\!C-؈KgYZ7zXZִF! \]ŗXiɟ&zLo~Vmm '}|=Px2NgYZ7zXZִF! ,z]ŗXi%;Ű?Lr!p*V`-)Lफ़_K\r N霜$-|ϻy@!]q {WsWP.M) a [<_|t9٩62gQfOK# }ePRLJAǍZwiBO 6PCKWJQ"iΊof%@|`]if81_У>l8xM}sݣl Lo10_QG낦=Ⱦ)|Yuܑg6`:R&ĭ0TRDJ{2aDq TY~`67GUŨ>Ae55Φމ{u,B5*}vVLU8? Pk^ U1.tYZHbdݡ.#A^x^\վ.pi7ЮPo=줂ZϩgF9, ][QvJRwYcǏ2Ź Bkv&BCw=ZK%owԥu˝z밢2T;<\e. 5Fjx!dslM[d<)0CJ.JF[kN?>Iஈ/ bPp8,|s'6)pFMo6ip^]sq'.G,SMrEgV؃G (}3VXNu<Qm C;|)d$eeS||MOx~=0Ӑ^LI@pH]ToRuTϏRdnPϴosb^+LPǵwʹ33$:5Xj++L8a/ԅr"_40s f@=6[b0͂65/mFU_5!]@σ&WD%1E'j 9><vvY FT14޻dϱ{^y6P_>8nr~RwghNap@c7a]Y{ȞqSJE|O|z wiƶl2`qm;$o8f|tX.2RJZѐ<3+ѱzsҞ 9Xo4RaZ2 s@~ń_&Zi?ʄ>Kgy^awҴ&uJsR)yJPb+>4þ &€z |/M?{HZ8t\G0Fh e'T0柃#NJO]zEA)5aGWf,Q:AJ 1˓3Rj$Q$=!L@@H2!!uT=~(1D܃kk=8ܨoIoY[?D ǼJvYRcP8=Ah~ł!Rk"$3=.]E+JT&-̵3A!Q5Ŧr0b2[W}!%jmֿ+yjo% |@/Vjxqp+,8-@[yeaf$3nn͔6@7y c)"mؿ5R^8 7uP5Z-97Q[ Өڃ֖Y{sqKJv A,4c$3܏BeP){G-5Z8nqgGkvK?qgYZe4cfb34aab2462b1427c78c9d48225c979545601daf53072a7b7da07dacaeec0891eaa6642c159c2 e32a9e161b57c989291c7f5fad06918aacff06a5 acc1a01ff3c9aa58d6357f601c4748f07f6c9558   Datatypes