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   < ]/]HOL-Word:threads=6elapsed=10.032cpu=51.952gc=2.500factor=5.187zXZִF! G]ŗXf1-q恈eO/O4Eh?>R[GҊ#Rv['y?S0Bcn`9 Fmń?b=nRcf >T?C9~ cpCR8|J*:ٺI_ prʔn [բOk?| `7?tBeg x9@} ]<0FmV7O*ĖaS׽1(Y(+{3c` ǫƮ)i[o3gbpݡ2ZocC}AǠb\`vU)Z_ͳ1eh}P &߱rv?zrCɗ;ih4^TQ:HOr;+NyFo:iN'-19V&t,qT n7-mX)CgNS"q kB0wYB^Sd*:vTZ #j MmEWg)5qu3ah>2y@IB $Jž(x@K X箈} I[Iѥ?-} &-g$LΈɀ$h65 7I62gsqM`{!J1<8Z"͘06ɥQ/4KX!R (dPnn1bݕoCr /:3- fn5TrL\ܴ]ë%wq~c6Re+|0\6,%ޕq-8*O#Gd!f/NU\M1{J}{t ^*RLЊrY#>#Sa#2x?e>9.-v0b3Yi7NѮ؀aZb_k ?ޗSS쑺!.~<~t-iYXn!b>EHo42FZo/`' CLDk&q-bE v ϥ^kֺ8C ׫E,w:X86Zz7;R^_ i2/}tOm1/!>[vOzקі 8:$ *w,*/l Mz(J1̝9*2 -wõT ހQ>7f.ٮ()ơω~ ͩa!UEYeϧ^BPPnӤ9j_HTӞT&6x,&y}eZZDx%pzK7}winkͤd˾c00;JTvQ@H ?NFקWJ2а 9b>YbT nFo}KL[ o8AJ?0R.D k'9;wN$+Y.M5,ٲb kOU矌4QDG{;ƬʙWXKcLsqi(0Fgo0'ģ2 { ΅'DZjν:gN# !sDNV