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 ""[ T4d ]/]HOLCF:threads=2elapsed=20.944cpu=41.604gc=2.696factor=1.997zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VBa0-QG.APT(}L]'% 6Uު/hA;W@fwb{Eo)#d1UP}0\2h(GVk\ 1hyU1eR1ohͤ{͢²SO_Y O^ƹ a 1A{Cqz%vIw4˵wr)-̍Q@+X: k6t.hn#݆9UB~`vi'ӦzOf%JL<ĉrI#{B)F72x2:oϨM?.䛹oN5dG<&p XNȅvP$&Jr1p:SкH-r:]#.}ݺw s8}D haAҜS4]J_ y^O0嘷4LQzUvཞXڣ Oa8>^5_}cg \MFӡY |I 4puWdQRB%ؗۙ n~6խ9@j5b),J/-DaINg&Fә7gn^vzӫSll 6bkHBY:g%rgYZ7zXZִF! T]ŗXiɟ1˦r~KunύNN{n]➗=p~~>b6z-~z˭ [0;-)o^_R?]I+htu7zZs/n-s_}kDx%?sy%vyvAin>S үԷQfl?MÔ4{ |{zޟ&H*}i"{\<#ׯ 7 [a8JF(,6ٝ4$H= -;ZHMdJ=Fxe H&eR`eSBXUZʰ<t 9K"Q|3|?N$!dg"7w=>]FɲfWgYZ7zXZִF! zg]ŗXi%92m yi΢i!7>k? `yA. Wc)XrDxM79 M|u2bs\ř.(>+aQNTRexq*,64߳P*É~5_?/*A|yL)zN]\IٯhMH,cU}>˻x1ҷ":> aKљOJPEY^6 e" C2U9ߦlo%mץA $)zŁ1FZhߊ=u?Y )o7k@?gwr(-.̎k%p|,a Sn$6$ʘ&8U~[EXǰ]$&P$ e`K\G yV; Vm>]w"-ֻM=RŶ@}^Z-Ecي\Y