SQLite format 3@ .  YYQ77Atableisabelle_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, "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 BB;;  s/ Proof_Strategy_Language:threads=2elapsed=37.358cpu=71.900gc=2.016factor=1.927zXZִF! ]]ŗXf1-q恈NucvAݪ4 c?[2C IfW/a RIɸPbe~#2SC0i;R3^"}!طnlJKUK j3HU!P2|k:>]Bg8V yH((g\.3ւ:Z)GPhV Q &Z"OX`j~Xsg([n< ?%Nuh4?'_3d$g"U"dhbGQoYF1mC{uJNOŅic4 f􉚣1Jꟍy#LRe!@,la+B駪| R1,." -p2wJ۝(g64;x ?{ፌAo;KZ KؘR.Z nA"XkH[Jjή+ooxX>[Lxrh)0Sz:2mld߫38Fǎ=/] ݖjqB+5Ǔ@( 썌!dS׶Iߌ,4w kbX!칢+JKkCyn7@r.Ukǁ >t]IԢI=0$fc4 ^O87.4[*JUeFA"n~W.Mod(-ejatݾ3~HsEaPһLC6+$? /7zzJ}9&~f+*.`@ 짫+Zar*<`wj8IH\I~S J|5Z}/|SC[m)3q2hTy#N>DsXßu(V~C5.O"hb nYCgOI @ġZpyTYZ5g?~-4Ljl }Ƶ%S!|0 ]8l*{G)a*8>c p5['`,Lw_{g~fs}Қ8`B)R4gޫd\Xm^ lEi4S98I vzG0q`;2Rp j5ENБ7Y 5w^i#BM,`m۟)xM'<kJȀts(RnozJbX@"_]ʼn+-swsnNeĶ1myhM,:*cy7,1~u .)Ìi1(Bny!BTB|Y:ο*eq lvSk:Hך c 88ʞ|(~zUmy5 \G 65K\>Ne ˖")C):K\ՙP*MW89uZVj=<7( 6.= ųnG^dDqy$ &ӑɤ >2z1*d1)'vܳgYZ068279aaa3d18a166de0f0e7d416bfcbc64ce218 0d624df132aa2e54b02fa619fa707a1b424b9830 2c12706e07f29ec591dc22f9f0b39f5d07b62fdd 30ea1034d147c7e587bb9f794f7d1f7f95f4fdd6 336f7218730304e9b2a3f9be4065f1b640c9c272 383dee4bb60284cc7229af5017def9c12378879e 3a570d1cfadf2fe79ab6a87e9a8d11d3dc622140 41fa50695866907283577b0fdb1868874c2adbfd 493b059c7d23b329faee7ad3f83306ed157fe57a 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 55677a16dd53038cbf3822fc3ed804a074e60ad1 717da459203ba668d3b4152da2dae84802616a38 77a91d395ecd957122289bcdd1e43fef6d7a71d9 7dec43a0543a4a9d5faea0bc66b70666d3117f99 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 973d6bd96dc9037f8676681fb869d6ae83013aac ae9365d4973bb8d9b5330551312b1e79cadcd0c2 bac897fa3e742896fc83fd68bd87261a0646e3b9 e18146e76a5da3d5bb295ef47091451dc1d7afb6 f9a61dce7b499b03ba5603462f0176cd5f8e66249711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 ; Proof_Strategy_Language