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 "1 L ]w HOL-Probability-ex:threads=6elapsed=27.465cpu=47.812gc=1.200factor=1.747zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mI`_9?):e1Daa To;)*65ƶUq#kPUΪ3|&{: M:hR&_:.7Zt򊯪$FxǾ-Xou!l,Oag&=3a6I #$@!R+ 'K&g?1nKFDE 3?zR2oN]6ڇq`~Λ#KXض8\3mDL@d,iى |XL߰擒/442p(_BmVx'R<Z=N@\tkOR!COfzF?)P0.eIX ;W /N$6~.Q_w)$} D= ,,u;&7Uʕ?/ ^^Pq{2?uӖoqp1M[-,?.<^ YDŽbt>P&=Tu#?]>TbCAFE(N[_ *iOvR_p2Gc8dאByr60Tr@A3y&(5*#}Æ珝\VZ)˸' `GuB 2Ml+w6Pf3@.(JTH/6M@|֞1%樑TRq$lSghɵRG_3E,[J]G]K~WVryhbBZIVS_ _;933=AUM6b! cN A\ԸkdF?G\RH+GU|cX;0/g˘ͽƐQ4Ge vKT8uM) R||>8*Bdj\ dD\)Tp}n&ɤߩU4.}oQZ{< v񐵥| e+.9]'ʑαբ| `x/ZO[͚^NnKn逼A'1#uUBw-$V:#z;\;:{d$&쯴QFT1If 8ޱyBh?kɽC,y8r+qծ k9?FA- : snOq/!\|