SQLite format 3@ . BBh77otableisabelle_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  % < D ]/ VolpanoSmith:threads=2elapsed=8.412cpu=14.460gc=0.644factor=1.727zXZִF! W]ŗXf1-/6vR[iB9Gf}P9O`4Fm;s2ڃw)"kv7|)m/}ePӳ#m2EׂnTe `C4ȗȥy ř桷G}0{ELyZb^VoeICGV4[cЪleEhXRΠ3Z'iۉW]P{ِck 8W'H߸U6&<77w:b@+\된Ůijo4NB, MT'y1R:j|~gYZ7zXZִF! ~]ŗXiɟS+;̕*A!@l@?UVfpr0 0aĨQ={ljc$f# 3, HMT)D$ѡhYx~(D([ا!ʳ lgYZ7zXZִF! 87]ŗXi%;::(d> 6l4w\ PP1_֍PntI'DuY_>v>l쁑iuho l']*j1ɨ ?. 9 (~ޯnV3tQ|o 4wr.+d_65~Zor`n]"7XC% [+ReާLBh/ev6[1 9D}燧.77P&rEV5b=^Bo_n]p֦e$ ;/ª,'ʿ+M} ^$hb1B] o8 `^L4:f/;!ɾSn/ޒ Ps7.'w%vn_a^^v<JT3S+}Mŝ HhY8 ^^CL\ާx 5$16^KU%c]>Fa! v^,w4Mw NDH ^eSKD=ύ=T{r4t^C}fC a+nЃ_OmC0]Vز ڝ ψo0C&QSmH򟚐t JM{ŋIU JX1*#Mm}I؅iKxm1K5!1h:LArrbǥf6J[_{fi춇jyy(PJ̐á^V4 (&ɔ7"- )bA*,7 p^9$4܄bzKf4Px]\ݚ`Df(>aL[p.EgYZ584e8a7dd9fe3894138d77f19e494f8759f3130f19483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf % VolpanoSmith