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 / 4<, ] POPLmark-deBruijn:threads=2elapsed=22.041cpu=40.276gc=2.336factor=1.837zXZִF! ]ŗXf1-/6vR[1u 3ܸ&S$'W+$iq!t52pI.4E ynx`Ss4L?g YI9:, sA(Ntp]ZkkoTtU9ғdKdő {Mn׫/C5,VTO<BHK8?)E, E󽫃,:v! blD[2 97\X[V?E&RP9UF9AdHFa[P+ C'Y.lzK$|9Æ2Λޓ+ڪ>/fA2!m3!-bMXy7=ԶScT-ix^z5˄T9bazܓȶ] JEXF)ɎzVl)lڧWؼVHtYQ>:J%.!gYZ7zXZִF! ]ŗXiɟT{F moEhuFw%jclNr{ID`ş5vS- ;hNBv=D`]hp*Q`sxnV~拺wcאxCH+pgYZ7zXZִF! z]ŗXi%923P-9?g;Ӭx\" .!ڱsA7u|2O2c[$荦 x@QMm`oHrVM'<9fKk"E$6RAQq}B\4RӘ n A-U-kŴ3`HX(`N#&K M}&UrԒ|²K>j3t8Go|6'aцFqf;tÑ8En3V'ewQf-D<ѷޭC^HiMR뭄`?L^O:vVE6^zVFGuՑyYH3 ߒ$Dd֟6AAa%;n74W]X7k+Rl2afX( [~HC4 o)f⟴RH!gtZ]yt=4+ʢƣW[!r{>gL : J9F֣ %&Eɉ<,3~Zap"$+{rhE\IUհ !,?U<њlYGl?21)UT 3+Oް3ΐ[*ps^Z5w_NAͰՀ#bQR~ة%1M>4?b_=">jBmUKC>xN0yEELoL]<膮] +u3X¿ 6 JRu^u!⣪XKG`\h*s.l; kC%S'3 '^j7{#xPGE*>`^ΟȘbn["Է+u/V Y&RB [LZ]اZ*67Y8%Nst%Ts-[}kbD` KL dֲI84(3ۘ0 (h@@$= ]jcx6@怊4Sti FT(ڷ`H*H-M|QbJdgU *{F݂8K&nY5TX\^ (bBM[iTZv^~* xQӼ Ќq?-y(V%((}iD[/;jkf4a*w_GNHtIPGz?F/a Rz[պPdtZxј?n<0Ϟ$8oZV, %gYZdda80c5a56723daeb9a89714e127cfc593f4adc9fa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 7b4e4ad0c078ab206c2a55cfc8d7c15e75b86740 / POPLmark-deBruijn