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 ~+ T S/ Verified-Prover:threads=2elapsed=9.513cpu=12.536gc=0.440factor=1.327zXZִF! NK]ŗXf1-/6vR[w?q2F)4|*[X\>!~ X.h_ .GoT ʗy7ypYQ/_`*4["d̹ fZ\Ol)~硫.m,.8g`a%"AX73BHF0y ?wI k̬pP\Rq3j70>.Oг/)@Z$"$1!CHW&,5M^'I-Ǿecxu)Ӷ {"=4GtnIO\>k3TxƹEnѳ 6&+<2ú ծ$ :!ye h>R)\2 $ X۴=Ƴko9'6j`JoK6%)UdC,LbޅɮۻiYbzȈqʄ< ̜ڱgYZ7zXZִF! 8.]ŗXi%@#&J}Cqs"{mA`~o*w Os"]ͣL~.ckj@<µ't1 eup: 0eiZЎQ u.pamn*uo<:π 3(w))>x#̖ ,n qZ%Jh<v7*WB4YWՔ5aY`+ELawAGMz; NB&Qs`p(u}O^Sɧ/)D# GRx#<ی*ydm7 H;0gZYl#lu;-\̡{YNbU{SFLQhWӲFVQ- 9fBMB5vzh~JI<盏O~}%Wk=Z\I5Kaj2F AL耗‹N6ƪ^ǿ\6\9!׊$imU*V_p^vԖ7DusiBxiӣjZp}^ JRXW&n7Ļ cb zt5crM2#`C@mYΨdxWuW&[UsP:}q/q9 f<{Ay (1ƵhO#x T#3˥5ͦsI}번;pn۱gYZ3e502dae8165fe3b7725713f0f4a35c31a9a4cd6 892bbe0189a23a2e6fd96fbc3ed4a7929b9205fb cfb4fd7da59a6788f5773633c4ad67b7c70e5d57 dbb51d4c6470972f27a73e1864c54a1b39ba98a0db7c23777632c9a5808e846c4c293183c8f78938 d902304df1792a9edf11f13fc29f7daff49f3259 + Verified-Prover