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  \ \!5\\ w ArrowImpossibilityGS:threads=2elapsed=3.502cpu=6.860gc=0.316factor=1.967zXZִF! d]ŗXf1-/6vRZ]o S.AMLfDBjXrF:%95*rC)o[P~1:n &HkXx-ԹjKƾѕv{|Ͱɽ3*-o "Db|ⶰT 1o^)_ieAzaVFH&LI]1Uz)?tFp;Ll,4t{B@f` tOgYZ7zXZִF! g]ŗXi% o: XѮEQkץY>y^lE"ęš0DܖF1sՃb8Gі*=$2F{:x!?nc̹u؋G`(n{W 5wsq-c2#l=nL'hEy:t G"Jr@ a-~P9v$FH0)YA|$CPcwDӃQ@ӸoXɄcGVo(\җՈuq=tr z6t~Џ4ڎ5Ծ`Bٲl-]dJ7w?8WIAV&KZ$Ϫ/T9;JZj@Z/3 ?Qdε>Sڱ~"j~(C2&/5k;y8^m$!}EP啷Jg̏c%@"jw{).n Jvtg,>ɝ$gw,!平3@wgYZ1b7798b5a36172c4cfc0bbf4a87f92c4f4990afc 527e33139d13d29ab06ef1a036d246bb1bbc37a1 9879e6323de9f1b60c16d766699d7513eb60656f d6bfe6ae07bf828e73f3158ec9c7b4cdb155c92b e8cebaba1f0ac906c897804d71803231c71cd04e f6087813f3ea6a65fcc2fe13b7c4393be073fb88735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 5 ArrowImpossibilityGS