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 f tL< ] ZF-UNITY:threads=4elapsed=8.237cpu=29.592gc=0.956factor=3.597zXZִF! t]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb1`b,0v8}ΞCηEoҎ`> m~g͋X8s!KͶ K?@ťo~:ymILKx8hYl: JNS]{ M]v3*:-!{  v#o?[Xpq"#`bX(I#u:Z ^w#R*Ɉp%} W3`WE57(Xp'Pu~%:EyJ}_X;WU]R1slSU) Fݤ1JpvBdJ:\XɎPS‹?]QX2ıg2G!> :G/kͶF @7m#|djBV7hQ(c>'4s T g J)ҵ7o} 6(6[oW#d˱gYZ7zXZִF! h_]ŗXiɟ9 i:4V;}A<<ګMP768b$|a8@/y+d|zSH!E&.@$lLE'bk:F\B:})_Y T5LE@A-&1q?|* 0WAD_h&ѿUv=Q+낳&WM\/ĀHn w^Dܘ^/B튳RÁ9U咓6^;+Z倡\ e8x[rQSD dwa-BP24HL}Qŝ,vR6Mp AJ(C,  `gYZ7zXZִF! /V]ŗXi%B۾+L-mw~㫞('(#= BL8xT}L8Mal~i|$:#/ И),P &mAy̓vЎXX '%,3+y,8n4-/!Ih=[X磓[uIENj1u M3{^9BUyk pA 9`h~^#T /Y>l?}4%+sP!NٓȆXkG4` [lwآ͙!eULN W~<swc xAMŏ Q6e#y.Ogxϓ M8Gq8qԸ;>9G1b.B&95nO> z3qPE8#%J~<2 `T!?C8).,]{"ctRQ,h"yOx a{5k_獮,;E:5_tAl!tvMuХ_m`0ۥIM/wƳ~ A pfk&8b 6KK6of' nS&SǪP/a:?4֜%xpG?1+-.ڴcэ%GtcQ8D'