SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 + < / Strong_Security:threads=2elapsed=22.367cpu=43.352gc=1.412factor=1.947zXZִF! a]ŗXf1-/6vR[]IJ!@W&acK@jD; iֆ\tB!EL*Dg6o@REEnZz],琣@ܺ 06音7ħm;ܩF2 + Strong_SecurityqF(APe֥0j7ת;^D}m\L}B 1kDUϣ: 2yi B%@e f3 AU+;X\f[˜Wi߿ zELB% v6Zj܄xtf<I^\4o猆7Q&-1SIu\y T(Td벤1K >z̜jRyHY md M7r8!K\Q/=s҄]Nػ7GNm&ޜBˋYdk"H+$0uıhKIYh2;RLJf1=eEBFAuR[!w%`pDJ%#.rWG -q_E3X8y|v;gޭw*4+Ihޟ2ti25&CRQzwI~P@`Y='f_iE kgYZ7zXZִF! p]ŗXi% ϏAU=śO+u ftAl}ד$ِ1)SQ`/ V}mll@25gcebOiKfH H0h-#qFtD3ArdӚ FoBv*R,s1RQ: |'7t# ͋ 9)6Q \Ac Ơ%5۰"DH6M`vCZkgIvca . ePK|!86 Kd|ׄR4wo57j8uHr]$:%=xsUT  ~#3\l\1ˍA"D\SP[|q녾-o|&|R|yسUrFC̀ R*y:U5 i L,^PHl4$o)Vd]+d`0 z_ۋ7x:}XSݗs#~*9@|{ h k[A͏SvDt}=E[7|Q@ݪ9aml@{ On7(J[z|Si!"aj`΂<98<~I&Ee0$qJ7 {B;n˸2&OPe&4޵lBH<]f&ۊ>[ 9$93gz'C;\%.cu`7FJ|Fd&gZ.SXzf;q"Ub>VH^Ie6+}!# >X2Z =6LIDʪ<`>fV(lVI{d iJGؿN+Q^08lVyXśC16Zf5O itnZՌO#^q=Gyҍ\QH:sD[wBvΊ W@7“ ~.ȗGJ;f|3pM]_Zz$nȋƬj/Cg]irjN#RqHdkr,LR+jdZ; 2M_bY~X854Im8l}m]bg5o6C3fW7jp޻ =AY8 'Ȝ#Y 0in|~yBfW@ސu^rz V}e|*6}H*} BADT<> eS-mK[F6b1`kѻADe7 ~1O?O⏬lz+aRݼW\l͇\RX9COq@P,GAaTlqW:`cdram$>'ױez E*ٛ5j~(V*S)}+4dU%fu baʱgYZ0c336b7303b23ce3ad8facba97d005511031fa79 15924b568e68d47d75dab652d7d2734edb365b59 15b72db6bff1fe99a2964d3636f1f03456d23aef 1820d13b921d8ec17a3fca161bb61e7079ecb8bc 35cd6aa710d94fca8b21b82f07bd6d0ad19d7601 391ef39ad2a7cd156f3d0900be64df385094bc82 47b0123bf73b955de525edae01f2a8c83434c792 5855c11fb47d4644a3eb1661268515118b384fd2 611b23318350c2753620589e42d5676a8ab4fd71 7453cdc101d0a2a99a53e606d88f21d8b3a62391 a20370c8393d39ab3c57febc38a4519af54dfcec b72a4ffb8ca19f4d8b8d763ce281d69c8af989ca b99b9da9c4cf3add66cb4c0fe7eefd6bfd36c755 d473271404ff7d7a79a798df8c25f1e1ac2d16963b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd