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 a3TD m/ Partial_Function_MR:threads=2elapsed=7.029cpu=9.720gc=0.620factor=1.387zXZִF! #]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kL k`|9 f3U?BjGaer$2Lxxq\CdI_qVwū|Bq)lv,^ԀOYB@/:Zz10hqL>DX(>ɚ~Pry䠊6M}3K:a wX?c/m!`WN~V.Ƈvw{ksp, Kל =swgYZ7zXZִF! )]ŗXi%S =t WId"} 5l FEoqp K924mf2wHfW-&9 c'ERļ66(CUƥіq_ڕN}EI*2s8PԁEbh}U.hGP*dk:c&w|M5<)Y&,:ގ!c=Q<{\EL'.?{dFW.hHDj o 3 Partial_Function_MR}Ͻg;QȣXF~aʃ;KtdS芒u:&l"'`+wGo LVٶSѨZڔgNSh!] O#shA*M62 ݁@ +99)O"_v,&M#cA$Ybc8"V )yvʪd83h<]ndÅ>ؒˆ<~?9歲g+xf`n0㦪/Mf ]EC F1rZzф~Ç?`w®S^VIe#skϣ((7 Ӻ=b}%+ z#g u~'J8kfn#@ 5SpgYZ02e6745f5bf1d5a2f90e78e0ce6223e709dd3c07 102a7defa8ee89b83c6bda0f09e3868cc735f8ad 1a1436f28f19da44f56dd3fdc6afa1e3786effa2 3157a97a183ab1beb16b9e57cee14d31b626c49a 3997ad1247c599ff5ca5a09326a165d755ba9b8b 69b4d87e9cab0b856337e17afce32c08395ac7ff 7483884a60cf291783cc5dec1a5ee737eebde207 932ccdfc9d02fab8e2ae87e0e0df74e456c55959 cbdd9fc6d6570e1d4cdb5f290d2b154598908d6c80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4