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  l44 ] HLDE:threads=2elapsed=31.000cpu=53.852gc=1.120factor=1.747zXZִF! 10]ŗXf1-/6vRZ޶>_GL9s՝TaW50sɽ8MsLQRt,m.R[-_W#DٔEP M#J-`0@Сh[ym٥PF^З(kT?PE3祐*փ&1)77mW ogi1 %ȸR PXUh>%YzNH|O ؼ3}b3k=o&~p⚁+|MIfQWⲁ/fuqz~~'|Vfx]G l83pxDՐnrAfuD0Zl)do\&ɉNc3-[0bZuCQ9}cWǾNj5BlJ u{k亄1"u'8h~FX # y`k ^z ,ႿMADM0KLAOF<:IȩOM B>ucqiZ$khNQ3'[8<Ƅ?žrmPő6iZ~=m؆pÔ=m0)p;2B3X 2'hW&ڣ9cGx@\4Wc;quwܱfokHp~B>f \sqe&[qe*Ef<ةQON/0a9b &\盭R*J7K+ݼ! ɡ TPmQDh%3l'FoTkqeKREžJ.tjm]1 ټBL}j.wU3rMk$%:rlBp$V{.BvvnF.3e'Re^ђ7V;8OR`QN.+<!'.\3c ]U@wSFJ1cYBgYZ7zXZִF! ]ŗXiɟ`]ٲP`%`U^gl^UTVD17V\lcs:o".*bש\mQdR;fs! 1581}z&/? 郸G]r{U8 Ӏ4 8O|K-ك[/~ǷC(BdvГV.J`%xrv ?c~Ǻ{i)8veMgYZ7zXZִF! Q]ŗXi%>gꮘ+MF:$Ps8J n$1J+Rq;?Ey_=n$-F2<Ճ7&@s48bHgCljn7}3d D q@hzgW-AjYpemI#2NB>Z{r)@$չ<$~Ғ@Q>:6ow|yTvCJY[fvkPnλ'_3l[fK& PY,rMj2SsGLnQh ޺㵠cŴhb )5{ΞADZzXL:/!qO!"AEhFG֏,<ҋ2 6/#-QZDctvZۜ(¨S|Vی4}PwJ{hWK=_$>+]!Zys=rTm(,M9C䍨+^ Hh5<;w`T/O]Y|'a- alyWShh K#$}"'E~+Sz'zau;gFJwQ2\2 y yvEYiDoeԝ\~=?][m'm_ّ/YYYk"m!IWOI=9,(5sUmσL@a"@$%na, ɾdبȓyfBI8%4^ `{ $=._z2&PZe 8|ac>d'kҸRl Dn3:R  | HJ)Q.߃{~6t؝_Rx:@j$LqTv0,>ZTPnJ% in[4=V#?'O3HBigeL@YCs4jtTǨ{y,G+fpe4F0i\MS@w많~ 퇙A[և[q7JE΁@fo"[pFU\g0cLk5H4HHZxA(+߬B|M *6cB+eOT~ھ-H_LQXy(F^h~>}#),ٛ77 ct 4h*Ddx3}7uAF(T>"wd%mb{>Yp[#u)Iz u+Ӓ~MM#'cmp67oRP+)hi"_){ E4zI@ó4[jSNbfw ?iu[%=dM3~6N)wde$͡Nu*&HERà" ]=3͇Ҡ͝ZTa N Ţ\@48cQeWJIf+lia0 EH~V2 VBp,r2CY@<| אږEBHecQ%a- ֿԓH@ZuX#V 881Bc@ν],Am>$=+?ɃTi:z++_E\4.lșPĐ-6Dۙ]kRkଊ`ca6iZLjpI,ЀݘtH"nach.Ɵk<8ZArcR/kKdq&mgYZf0cc482a8b2908830d006e8bbe522e8bbdae57f8767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 f3fbb9a017001378c53fc0969377cfd821608103  HLDE