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  + +R3 D I MonoBoolTranAlgebra:threads=2elapsed=8.041cpu=12.504gc=0.480factor=1.567zXZִF! ]ŗXf1-/6vR[;hcjlq[}'Qbxǐ&87a1lBfNV<'6pݫNRħVۜzjPJьAo8gWG<{-6 xӪ{_] g7f*օ'Tm^^JyK%]|$dSU qĵc02Sb(臻 ?= Q}>sD8 =~5 ($gYZ7zXZִF! 1Y]ŗXi%}ↀ2䖔F~8VFV^>42Rۣ~BĬ4!u$UVN{I`]ј}4z^gT"Ɏ?P,.趸O5-i=n̏  wТ|^ .X&qh1 ū̳{h80չ?_~lyOcgg)J:>إ~Shoq;#5X΋Yc=gtMKM87.R?%'J3!tb!R Uz@, 8AӴ_\&5xCB >KQ{vR{+TY82RyȡV~uO^{ eMO]{0R:n&aW}`JzXwyk%Z9 ;^H% ִ![o؄R>Q>YsBmc g'VKTEԍT1>gK>vT}Lg[%Vǁ2:O#^ފB-riOiZ!WC}翾[˂{05mi`%[Βó6 ^ F&R zIRzw1ŋޟoxWv F^h0Y?ƂsaQ);>g}y63|N̆? g[ !Gڀi0f ğ0P}4ȆUWe~;gwsBjlջrVWB#K#4MnNWmxKu48b" gYZ042fecc5c9e40618c8538c5dc0a2d8c3dddd38d8 11684b37621ca381595214a6421fd33c6fbca574 72e9d2c102586c27517df7fa6558aa91fb3a1df9 af4aac2755d20e3b96287a0c09947ca8ebfd5e0d d059e620aa6ac9520de49e5c8cc45d50a113721b f4d333d5486320d9645066cfd4becbb8fac84a73 fb8433826f1694718a1755d0eff1ea067836d6840ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 2319095f1ecd7e7ac03c0f94cce69368ac368c09 3 MonoBoolTranAlgebra