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 zz LT ]/]HOLCF:threads=6elapsed=12.478cpu=38.636gc=2.256factor=3.107zXZִF! 8]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@09qO! Ps9@Ҋp[*ws.5ʀ>7tMpr~֐ |xO/c~*Z˸( 84M7Nތ:z7/Q >zpzGZzsXrcd(ZS(2aJYݽagun+ N\" UmՠY 6-X8\\2=u(MXZԄ+f+ZM&q2)fLjF@ai|#؜ҒjPwe,Af$!wZDq `ѯ-C/HJ=soyЃc='#]y37zoe]Ӈɇ9S2]mKq SJiW҄!iGMV\fd6z(SCW5y4dFl'iW{E0Q.Ջ L<.KعQ93 lL-izeN@q}:{9VO{'< Hk&b3xo 9> \_g */ 7ɞ\ut坌'f{s՜O͐q ɐmaoݲΗBT&5.N5т-l!| -,/͈ Pm|# +ܣ7ꓳ榄?~t.QV|h/Af R-:QhUR=Ɂ?T,e?{Nwz&(g,OŌNÍGDCc_|>!KHMs]-pfU;#v59ć۳MR>,Iw8BX2k]˝3^B޶)c4MLt4 /[OŴɀ xbPHf긇>8gLEw6D(*ITR}TbcLrJФ gYZ7zXZִF! I`dUA<:W]x@柩m·y-PFG/@{dG!ZA2NbD K"`x;Sl[fЎ%RP@lO%AMfnQM 6}˳`wJ,fLF-jTK+}G(`Jl~`_'s0dM/bg^pp\ݺО@r{[y/0B katahzʞl-}aų,,ğUR$f dž$Rhs -j4KmdﲹGJ5Gؿ8SˢzDk7w氟po6a.C:c3%!D¦3H@rH#hڅ۫l1j$@M04Mfp|QyK.{w&@ ñ>c\m'38G. nxr 8g41{w(eliJORBuM:{kc6jdOO B>sy`%s~ݓ溧4*29Ǡ,?r&'|agDn_O@w+? jE#/|"1oz|{u!\2mh*ctG&Цʪj K*rAۜ3k7I3 ]OEF%*r7t l:Z! bMBCNY/gMɍʰЬܧқkx%x/_{-wI:<4ᤰҤ:&.qkfbtHiSl#C,8]Y8A]8nZ!. 9tdG$re -SgrH:LN}KPn HlIq9bz ,Ls>TRBtI f(oA$g}5%]pU!F&_k ^DjҜ_tL xx;gYZ01e452407df616fd7a6b30ff608823810241f523357b42ac3beabedec26b51d2656ba583cf1eab4b 15d85692b7f1786c47e0baf09991f065726d2b190c65e940b2ade91bb78e27998abde3b6eedd2780  HOLCF