SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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   \< ]/ Huffman:threads=4elapsed=7.870cpu=21.168gc=0.436factor=2.697zXZִF! @]ŗXf[&qأ8<±0LB]O& ri=Ⱥ/pY¶yafm4x7upB^tu0Z^'bI,?#OZeiƇܬ0F@꫽!'gקLF(Շj3r, J@  ?8@ck'DzLW4-Jfqqq@9\/ҏ%?U[xϼ04 q|x%+ǯg1| <̱""]!'Av'+? /wPiF^$a Z|Zͥ'B>-i~rǗxeRUs|9!='"Ȯٯ1+ T_8sBUp d]__q|K3!AձgYZ7zXZִF! C?]ŗXiɟt0sϘ ECS>[őQl9uh-u`֒[D=x}YZ7zXZִF! ?]ŗXi%Eb⬗z&>8CZ6}= ܀g `t_$, ~.$M o\kb"?:s#Q5|*ɬjѦ[ #:ca7n7D`.QDj9A,CAo&l7 !tb?/Ⱦ%@L g*5#|$N6%i4|8\W#wE,XhT=.Y!0z(5xqjYPwBv,F$mqtlnQi]xn{zX | ߖ]H lVVЧ>`W/*;of.)RHZ6 -Rv &3!c+stMk<<\6> -Kl_0e(.EZPUCaU| E1{h I=PׂOe̴.Д3QXd/Z^)e2Y#Y~948/4;qTo>;Z9y$f Rm9<|\(8 5]*o?"S|7`lr<2!#'㮯X?-I<xy;4~/ɞ\4cLGoIٴtAd'vdZ~#_~]ӟdhpW8j2bV2߮R+өzGڳ~Hk5]IaS7JϤ|E dE*u-bIq?ֈ5(+JMu>VduDȆHƏW)ߥ Ka;=og"YI{$!I3$Ug7,Kz*[`\60_ds^EYatqzL&P :63]Nm2* otYާB4Eg iނ\9<ϓ[!I1,h$ uTd-̻`/z$00j9XwREqEŗMGHʹ9# TF(jO-pgɟ4 `i.gYZ465774a99c78d22d48075f773867fd73432842aa87d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591   Huffman