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 ""O ,4 E Codegen:threads=2elapsed=7.804cpu=15.412gc=0.596factor=1.977zXZִF! $:]ŗXf1-q恈͐7ӺV #`91knTyڧ%kh ^F+k7O..n=]Q+)_q ,քy)w9Ȓꀶ )zo F-61êፊxS'kq `ڶYb`0:a]* L#OU1GFdRڱM1>'p'܉$`3Cfy5ѕkGCjdN{ i#~~EAf7vz:=j@x`([־wK>#[2-YXb%lđ37ۻO I0Y$Vg#Y?+ћGP!O٨z;_t?V{VW!6 o/ HdLoT \wEE/TXs!]p[Cs6Vb';X&^j/N<ĦK>,Nvy^LͼRف/ŀHE /:&fLVi\1TYxjɆg`?=OBhӖ-%[+N 9bbg[<I̫uFʓ$σu硍MEm44I%tlR׍`c98_g:?3lIW*^H\Sʫ>e2_khX z^@˗RVV ~qْirQG$zWd38#{,?g:;ՁוfF#!sRy‰nxZ1fL"c!?¡RʟR   Codegenwφq ϤFv:zQ7Ӂ+3Z0c"MɬЈ_I, 4'ǟ9]::h?"AmdI-% `lȠa5c( @Ÿc4*~NJ$j\/i`*gQ[th^ -xQ2#M5gpAT˃Hk4gYZ7zXZִF! %y]ŗXi%>)1c1*Spm0rTO+2.Lҟ,˽]aZRm9٥$t> EgVQ!]#0WlMX5+Hi}u9,p;pN6+e kJ1f%H෶kS8bBDq% zlz~|]v\,O@n{XE!4--V lPRK'_ͣ&wxWɸF3ԔDAt88i%}Ib[,9DI:3/ۓRf!aTVBd+_)i?Iɫ>b GdC/S"87ȑwlE͇sH(ѤddU31gV>1 Wۀӽ #SU*XL {g4vl 4xP26npGyB]Ҭ=j:q"1B^ c^aƖe)DMS}VOFg㴞V.#lBrr|Nk2qHN%6yF MI, *r+=j TidSm<1myP