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 ::CG 4,4 ]w Architectural_Design_Patterns:threads=2elapsed=29.139cpu=54.592gc=2.104factor=1.877zXZִF! !t]ŗXf1-/6vRZ]n;hB`,wh")9DQ uW2Ǹx^nwg5<_8+0w) KxKp kr< J"{py{H!QgIt3ix2TQ'<|k8uz ]-=ˣ~_G:V]J06mGO;473~.G̈t2Lgy F~%m?V*-O{l1MɎ((^J_ U>6Nf!6%ttPኋfvWkwo 䅿^QO)Cu}<7oߢUfQVlK%ݯgtw|?W>a]`+QCTĞ-q7uY=YV6^YǼqf?O/o_ݭ;4l60PɁ[/_&Wa 5( SO~!8SIwsvec<ٺ9Ne^[f4f3<>_Oir*{Gk;2@V ߈dF -,몁*:-1mnM)ҬE#Х犴G羛=G3;Lr`&$HLzSА# GV<͈1&6+ƭEE]R` îrn!(aw G/ubۖ̚/.䁮ȋ0dBtjcȔnRtXfc-7r59'4T[7j h?2G [>+(5f+ߩHw-/>Lr ;Bo6cns6|ŧ qq3/\XC ?Y6d:Jr_p?}/"]6_M QW?""`m: 8S \3qŚN -/| KV%4-JӨ1'PuٹZhWvf%ޥ.v]ބmsMP\ɽ`pr}R4x7ZuJMU]PREN v/!$1Jvʡxz[ĽXAn7}3cNM|ZlUkWF .Ʈ_bynFj@[RVwU0B^On(aW:6*.9ߜ+0|b;Z{--c&Ruÿ+ۄ64D_RN܂;*XE>;?~R {1݂xoiRU;)ޓM)J?BX07oݞWe 8 ;EVqcӽ\=}=N<}Lɱ2P^# xhIn{/]nkn>fIr=izul1p:4@u@|&{|0  +9Ue Ƨk24}=LN˸߮q{6ȴ h.)q>d,i#⤡VYq + ]tݔFfc* jz@c/ҽ$ RCTI $珎]{nPBy;xMؿ ._nے:iJw;?uHx <+WN=(o_׫ϋl"MU>lK޶MU(JbW)7KR^Jѽoe3S,@OGޙ.4ތOig-qm4z*VOVߜ"|ztP,HZ#fcn-۷8XݎU7k]JYO~ﲘL