SQLite format 3 @ .; 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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info k k lL ] KD_Tree:threads=4elapsed=11.667cpu=41.696gc=1.104factor=3.577zXZ ִF ! ] ŗXf[&LhM;xCB@(K6zF "\=^)(E-emQ K!q('jdX`>ʜ6v1>k*힚((DS"Ռk4_u^ë8?U4P d wIQ۠Xbt@{K3dm?5q8 PN̒rFݞs p*AaoF1twO¯/V><ʃ9+]՝>?p*Q2ҥ>k QW:Y]將J>. 8~`2\⺒u!˳0X9QDJle/ga0hǠc}G;9W'x";{^)n~أB q2 ._]^"bs,_w,xqy3:3[-Z+ޅ/fK4cXy}]!QNIeYX@Yk2N1 uGCoOP:CИNyWm@$ ED--ӨiGġmj$4"7 |ům8q͍Ju7+J5hV GL7n7>3vh$7i E5 3 QԱg YZ7zXZ ִF ! ] ŗXiɟ oɂ$:ey1SZסN.ږo}2U 0፤av:JҤAG? 4*5F9 s~ٯ5 Ul7(Ai5Y͚Yr'(I{F4ANiYt,e%i XxU Jd g YZ7zXZ ִF ! V`] ŗXi%L S!)
`J@NX^"_#eYx6ȇ,:!Q*|ex9C$J84'+Z- ;r]N)F<
!
8%v`m;ܸHsX"DM5CǬ'(NIiH4X60$C9&Ll^>cbU9]y/Cr!(Jڈ6=Z^Qq6ú n}f?G?}6Qy{Y)>1d(ݰ1tX@D,>90
6Dyٔ=io-q
{؉P`}WFO|ReP*#_jg=pt4XDn>D`Ȓ}! eHNv&HRsyk`]bc
vW,H!F\0h{k Vz=sjT"qTPs68
v#qMe ;zieoXT_H57&OPlPstR]&^ߓZ:?