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 #  O/ Integration:threads=2elapsed=13.436cpu=26.536gc=0.980factor=1.987zXZִF! Kz]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"kxLoϒO邸n" L&౵:<LjIEuc`XK'Ϣ݌M=nrrc9Xcfzkhn]zrfZ}Z>CB(&Bpjc#cC g'Ia!,{_ j0U iCcN_r,7 :MqA sU]k ctEա&ؒV!G?Dy_|O-`X&Jϼǩ39 JK$I~hqϏ.*<8kaۮ<_MCFD7@++v kù:x*Wm8wa{ZN잧u>8  # Integrationru7Q- yW3(P_pMkcSp'lK1HlњãYfݎ͏j/{!RTॹR G`ǚo5{@J:D7[m1C-tm,`Ua#>&$_۔DB/2nBUVE~[lJj}c-RT8B{u3?@ѯ=Q˯'t?:@6bޭ5c@??)9 ]mSZC1u?h^7O6w3qjX#lAyB)$T?.b &)z,4VRo9 eyP8ʱx^De2fEogit.#_%!=yx߮ -H&^@5v/U^Ғ}ewt5B8]8q5y_;."5z.Dj>aHѫبOZ$*7uw"e(~Rv/~?I MgYZ7zXZִF! K0y]ŗXi%?5: {Fk˹-X9U>BE* .Of|A#g +#QKYN7p4r$n.` o.tk$UF.X dExE85['.JVnGǠrO}FBOI/|f9gI7 1׉v?[fBMHuK (,pی]0WGr*5a83jM,}KՏ#v^V1x24H*E҃p.%h9y޾u;d3%"S8AD2ӪYJycЮ(?N?~?'7PR$ړ RpC[6t&]x?gLu&Ի. [uL,-?0T~I&drLTK#mpyҞ.IS Y0^'ETeQ ђKy{ XİqVXlƒCIA;Y4P$=*/XiNv-Of+2.y q{бol=ʖdEm~G^?Y6>TJ6;I)(?W"B"ef*zQ JnLRvQV9ĵn;7mp |l7u TF ƱgYZ0c11c72db7a430fbaea23038d4cd5670c932e96d 0c321bb4e21c69a34e6426214489d80c3fe66e2e 5117119a178eac69d137fb85243808da2d667eaf 5b30d9221941ca16727dd6daff33722d09318f8e 5bdb540d5d2df48575e3f652e12ed3f3c44ff99a 6f7528c9ecb8fa81d28fdb1f0120630b11b17b5a 8983b274ca224430b729c36804a982dba8c23ce7 901a86e132ca063ee9028ac5284316a4af9c954f 91aa64768d657a788562554649756ff077ebf89f 994e906601e17310bff00be21ae5e216ebc52992 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 9dcec35f477f1a52dc135cdfbd06d6b04bf29d21 9e97dc1e385f8bfc8855ec2c2ecd31883f725fbd bd1b3dab8d05792afa4b1140e0f22b3ed55abd28 c6434b8f92878f1aaa81886db617f4dd64b8598c e98d989b0d56b347c6ee1a9d61645ae944ef72e3 eac6ad13c503bce6181b05cbde0a5640f2e71008 f9ad8b0e4dc237bddb1a7187abcb79226fec1f90878527395436048d51bd6287a500d1cb05dc0aeb e50af90258c1ac1951ef5f989d4c925fa138d449