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 " ӻnԘ4x1\ #Q5ؒhS$Yd9ukY8U7I@zo]((fYDU}c*7=c)`2vS&ToHP5?>Fn/k^D=|/T5IcÙW K"ǽ\|euЋ2MyU?ɳķq_B^،1uspN$< 8Qi(TZZn^mB2SV4=>B* ;ذe\S7n\CTb2ɿAƢG/\dPOk8]HE^w!μ< 7c^jR:uQn@μ5}M--. Yj&ıgYZ7zXZִF! ]ŗXiɟ T50d.~En.yWM͓b\hݛ4>r|-a$@]C,(ˊy`6-p?Jxumo.H} ?/?i(Y*C. &M#8h_yý3v@/r@g:ӊ:.MzX#}KV j^E{2{yjߨO+ֲ̙Ǵ[C &(-̏(3ˋYBo\ݲh cD/YҞE6x\zH(PC֨c,~뱞1jI,Gg@ tr$A A c̅V?nhv&Qzՙog+:VT"j66jr8UM5m%P4ފ^TʛOX &rqSOb}L K@s}o =p$aI-&8gȷAg?}^e+jtavM0?hvd!^K f耗#8T7^[{ NaVdPb$ f;LAWQd?lo,iDzax8%uTBȃ mqt|iD93nK:`Gn|qyicuS^:9 M FoZoOr|KǼrՈԇ24 yG`į2vxslz7Nl?>RhG@ǺA lkgͬhN˾O,WNJ.O9rL|oEo6Yjh}*FvW9&}A$J~ ZpR:J&F~R9"$+#nmU0%].tѓ' ޾ʴKyAy#ݲ?2G}8ː :DJu$}w߇nV.ifADqewK>sGGԞ-J u?`Ow+~uhUȔf#`'f[ /vN6iomocgYZf45653a7c94999015788011dfca6c15f06b6e75231f92072f849172c668aadca4c36428f18253840 bb6d91cc82c83410f56f890ddd921ae98427d5a5