SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 { LD ] Tycon:threads=2elapsed=9.720cpu=17.352gc=0.620factor=1.797zXZִF! ]ŗXf1-/6vR[l>eMx?/᣶ކX?<}#h߀ZGRK| y}+`y뀸ۦ Y0,z-ʬd34:(ЏNhQ܎eӚ. %dtaiߛ"(~DH0*Z'&!Xnc>v\piM!_EI@*֪yNVgc`>62p[D=r&:-V\9Ma,gQQ*jQ@ ci[|+Hp C,)2}&$Ҳӊ>Q08 ?ԲcieFx/2RBp Etl0rW u^N7L΋ymٻ2L._3%0,Yh76TQPo"nHƒLW,e|L*y2 1es$(igYZ7zXZִF! F]ŗXiɟyڳ&U2FHF&>c(Хu9VWrURFDHܕ]xczF[Zxӭ[Y@I,iz| `r^hS5jDDI8g9\k{: v]^=w'n]1ڛ SAgYZ7zXZִF! C]ŗXi%>gXT$"Y׹"u`pGAǡP3tJX֗Owrׄ6&]蝹k5f37HT S"'"DS;f8$.=LeAxXI}PغE&UHS"Y^B mON*Gz_u̶.LO3r%ElM/9Bo#̂Q AAZr'CMi_7tkv |Z#P?z|. }GZɯURO%]@fgsQBx1dZ8`1o fsϼ]<,Ki0:1XE*e,S5}9>,q[F~%j\pl>CQra +,iw!`e+f #wtet$wi&;gc\`{7QcdLC ku jC¯J0wvy3+FCJ!6F<` Ī5'VGCARa&8xCBCQ6eo7RT.ks(+`X06qzp9uuF{ =+ ;ͮ]1hIJ8/IU12=>w'7>[w)]@M&V KfXS׉bf}kC/٘Be G@^5)QT[p8kS~XfC !_%Y{f%hrT\̋wD6)RȾ.+LS-}ШHcK(LwkhO-E"*PpŒz'5܂9Wh|.4m8.p2%}8xnhQZRеDžMY%vNR4_Vp'&ŨGW1SMjYqJWj0ݻ=sa㟗93`#<H#n}YW9gYZ226e645427527fcf66721322d4f564222d97df6097833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 d896252f34ed7d3b59aa30c718d9a966651423bb  Tycon