SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info Z7T\ ] HOL-Datatype_Examples:threads=6elapsed=82.714cpu=300.464gc=27.456factor=3.637zXZ ִF ! O] ŗXf1-q恈&!&ʁG_f @lEZ Gwa krju\ KQw:c)
sl
,xU;ZwYdHY;.,6tg\K[*n|xkQ3E[h 4!˜dYNO_"M-DN8NA+/6=vbR.d?ht;b`
>f`;uuk[dPi;#@2*m_i qݢ0\ECIمTd^$=zs[.%l'B'OzGTAwUo
qKlʘϿ숅sjmUOC=I~ĕ@gt_T8Kt+4]ڒL
5잔[0w{@Vv-ubÛiAbH,Cv*o%8s<%B|)[ɳ-Ф@Äugi$
ܣ`"TʃgR[k bSrgBϋǙ=uxx߯P>wV4Ǩ!Kv%Яuԝ 0r&? 9bm ^ێAmHoxչ> HNT!1tEY}VNTvn5$|nL{q8W9L/}OE~pӿ@
5TC6sZQ*_05_Nƈt'oWZٮ\s $^a|ϸ5|7k{i?"#)LnRN8焴b~qͲgۡ{=SS;^
YJl65Vt /|Hܿ'̑04텔IT^QP;{.P汷gr2kקȾs/1!{YHXHß"S7Z
ih7ۍ\$?e ^c'PHHO.c6O@-
Iqnc4]*Pq3fƵt.ŞEaTP !~qjww[#9VEeg$ĞQh)&ȍp)h/XsD}YWfNс_Y4*Ų8ZouwVA>:)9 1S[a-q-HC90"
S RK'٦hpˊ