SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info d5$ w ArrowImpossibilityGS:threads=2elapsed=3.717cpu=7.148gc=0.296factor=1.927zXZִ 5 ArrowImpossibilityGSF! 0c]ŗXf1-/6vRZ]o S.AMLfDBjXrF:%95*rC)o[P~1: -_3Dfy~DcB# <ˋ['Pg$ip; •Ȏ۬;XXp1mg4!u:ZlʊH,O tժ3kBa`-~M&̊^zOӭv䂃iEK|"]5(!)bG6Msy;n)4}=Zo`ZmW (ڷ6 E㜔~;JKGe$Uq#1@KnwE.2.N`x?u|FAe5F3 G2Wcn^ RUhzغjA#Ӄ,_F&&D|HjNZ**Tc4x,o,iTUkQ_'䲏rNIn$GHTVb=!4Ϛdz"_"]Wv#8&zGTir:ߩ1{p .Wt4xz+ eh)Kق{ZQy)<~2VYu=]4π/=Ō*Ř܁V\AB7jOJ4YH3}Jk!(kn} º"2}6bF4qy,5ɞǍY,I0xc yqO%^v܁@I*A|1Sxb}9ß&SF;gȑnG`u4c7V]Q/*^._/6xd3vYߚ8 Ot'&> N%[|KcxHp}9m`ߕn)gYZ7zXZִF! ]ŗXi% h'KG$^>x܀F477'=l9Sz#gE$F1|(שR8%qdNtS #ѿUx5JgM@o)F:o_7JJIgYZ1b7798b5a36172c4cfc0bbf4a87f92c4f4990afc 527e33139d13d29ab06ef1a036d246bb1bbc37a1 9879e6323de9f1b60c16d766699d7513eb60656f d6bfe6ae07bf828e73f3158ec9c7b4cdb155c92b e8cebaba1f0ac906c897804d71803231c71cd04e f6087813f3ea6a65fcc2fe13b7c4393be073fb8870d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9 b5b2e3db2282b5d6e07a8827f7e467ee9b05ff91