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 66G; D s/ Proof_Strategy_Language:threads=2elapsed=40.392cpu=72.292gc=1.580factor=1.797zXZִF! ]ŗXf1-/6vR[3 GeL]K@_w.g-. .auj,wi!.yѬ̘HtZC>yĵ8T`Y8'鴿9։&6<(ZЪf+eEuq8U!; PK%fp|޼_-ttf9C7Z wd9nl1mo &{[((ؙ@k&⎌<*o-=!Nj %ëOHVӷ?{.~QtEFSiy wmgYZ7zXZִF! ŗ >]ŗXi%6{Bn۠/cT!}%Ѩj)mv{>sX̔OyLni$`lԈJ<^ixHBOt^ʿ\RK^ۖ%E h`8U_gl:dWHbȢuS/=MjD7-,?ȭ,m.8 +0:.5ܰ9^#ly,HS1l~.ί|z]kZ4or`Ko#举oGüїӁڂ K>fN pnZp슱YޢiNDY4H}ʔk4*XZոy 9+prN(*nvjѠY{BЄ/aԜ*ٓߖ7 K) EXɠcͿՄfm{VOUNh^C3I N=ʼn)4uq]SӶB?reY%c;6&+_ MT61nulDe<~]_?@8yFnog<ÆZwA'Y ~?$[8TJ۪vGM‎~1tƣSTLgit%`#*.*Py&\œV-& _il ༠Z s*)/0#-]Ev >Tw4{r>LuZ?u^Ks\[ɮ"'HͰ M_:2*gz5c ձ~z- "'-v F[^Re-#3R1.*"oB1Merfg !E-rz-7$В>G d@T1Ǡ?`rؠh{X cO7T$߀@leH)<DZgo4!i4^CW0P6ZlTG$}Y/&gMUXA(GgC=BTug Bg{ ~uqK՜rhZK K0vQ=BOk|I d*Vۡ/lsc!( JslYF~6ai[[>pv-Z+,G2tP*॔ISÍ3\g2}$ hPxZh9kQ)t$j1TO$$#/fAvn2aKsmanluY? (aɦǫׄ$2y/Z =k^Ӡcl?ҽWٵm$h|\?AH0}R$ش}$RLu}wZҥrs@p('Drtt`=6Ԑwp?X$]٫ *9sOé'A )M+waF2J>\'h ܠL2:ktp/N3kֶ4.-^bͽ I hRNˆVq_`p l [XҝШ2i0κ44l-՘a2$U8Q˰aC\g ,SX|hOr]'#i8 a۳c:tCȞ]6̣EDRw2cGIS_肢ip ^ :}s7X<?X0+@5i/З$l KR!"bf oIX*EJծ:J/AiԱgYZ068279aaa3d18a166de0f0e7d416bfcbc64ce218 0d624df132aa2e54b02fa619fa707a1b424b9830 2c12706e07f29ec591dc22f9f0b39f5d07b62fdd 30ea1034d147c7e587bb9f794f7d1f7f95f4fdd6 336f7218730304e9b2a3f9be4065f1b640c9c272 383dee4bb60284cc7229af5017def9c12378879e 3a570d1cfadf2fe79ab6a87e9a8d11d3dc622140 41fa50695866907283577b0fdb1868874c2adbfd 493b059c7d23b329faee7ad3f83306ed157fe57a 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 55677a16dd53038cbf3822fc3ed804a074e60ad1 717da459203ba668d3b4152da2dae84802616a38 77a91d395ecd957122289bcdd1e43fef6d7a71d9 7dec43a0543a4a9d5faea0bc66b70666d3117f99 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 973d6bd96dc9037f8676681fb869d6ae83013aac bac897fa3e742896fc83fd68bd87261a0646e3b9 e18146e76a5da3d5bb295ef47091451dc1d7afb6 f4da37c12d51d3d8fdd7813c94840d74c5cc6fd6 f9a61dce7b499b03ba5603462f0176cd5f8e6624f0df918d4045ad6c60b23213b65e87e41842eac3 e02038ad1e9503a02a8e11b7cb457877cc454f98 ; Proof_Strategy_Language