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 ;;B% $tL ]w]Sepref_Basic:threads=2elapsed=23.045cpu=43.360gc=2.428factor=1.887zXZִF! ': ]ŗXf1-/6vR[O!vې&-wT]ïpܐ YW  mn~,GNC6 8|ϲ";s]x-'$I;h ˜g8%?2q`AaQ K)5lFWCxYV \ePdnR˯W_aQ7GyЖOzzZИj}%ΨN8nqgwBNw*F̴ ^PƿÄԪ*a ]C\dV"H=uc4+R!tU}s_60`\tNE|+2(Gj)q&ZBu^-v~E0#0M"D{}i[y: {?c6 5ӵ)'e|STi*=9ni3NMU#]*Lv հQ16Iɛ>5[rYv~Wx 2َ,:&(Y Q9؆ wS˒!~T` |}7/lh/ 0^:%\Q oj mPVQaA L mȽY ddc/Njx{Pd;2yIHϴKK#c0Ki_~[4\`桌wG^\ M: ay4W {lf1CtPx pOAdKmCHQbjL.ߌY7,#Zn+ZmUz̈́DL'Dtq!uiBoAOq%3N"J+8h %.- `?QѦ*F +l,rxfCM51YtP4H^6NZ< R}R֕:jc?cug/0P28H7Г|K;q+} e%2՞9cy<2JpV5NKGgYZ7zXZִF! H3]ŗXiɟi%3( d+%jh -ĝF Ԋv-@VxQѡi3`W80% 3';CЄl|3-dl긟f4A5),*a ${K?Y'> ۱n(ewl~Gbz*2'Tn=FaX0[Igx1ò/HJ"*25;gdd/;{/~&03xj:7x|o1Ҥ▓7SƾtOsgm $ B(\vdY8w\,vQ&,j-"v*1~,JDگZkm_c/K헃icdH:u ZiR.[5Tt0`{G֏:E±gYZ7zXZִF! j]ŗXi%>g޵4q[תMIɏHn!AOO#q25kVwI\{ddo`|!a\T)i9& a;;z9jfC3پQseKIHᯕS*ڋBLX,o0F1j:WQD Z^av\vb`}@˿W1?8Č \U~CqYG5#9+{><S] b-RLUW)l[;;ĀGG ->yփkPqqmjF@o&Ъۚ7q{{ɖ!/$s@>p|PO}^\돝NN{He,!UW܅Aɸ3Zy,+J+ÿV^srT^\Wz#hͮ{784ŝyXcxou˟+ѫ̣C,)ג_dpLÞaS;P?7kU*b6-ySf`~EuZw2޷Bk1G@'PlD1b&ۋ+ "wT:7v@$w]+w ^4ˆ`3#l@FdwITNԨbs? 咯Hnrx~?o31OUx\K-ˮ(a`<5GMY]<= Qc5e Xh+B )H6z)oOk  |Ua1Uz \;Qg~)KPƚӘ?UTϼj0(2KMh 񲸄`4 .:{ MuQ]'}4f73S`&NV*!%'weg`R'bl!' URy \q$_*qoX],WrBk D0幱5b6u? MW!'Ylrĵu 4;uUNzom]=4_΀ͭ)ŻUT׿//' kpM^-;n-BflΤL֤ VL>bDp Z}4N]6ڸ1(Nz,жZ43RM>\H`&5bE{ۈ˔\Nhk7UA]1Rt1UN/!ϧdқ<..?{P1=3IJR7nrwcBXeE".Zۇ|0s阯܀! +mΎZm>+ 6{:N5\N*-&r=FE"sΌÈT,:| MfįW#.creEsr[([Ve{{t養.V!pBH ; |gYZc15611746780b254c670ce4d1e9ae3552c1f17e7665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 e00e737ce82e914d2086c7aa07977cba8cc85cd4 8b973de275ad44dc1cc0022372b397c51523491f 7191e05e1790e583eac4e44ffd41824ee75d77d7 01bc726ca877061f18f16b05ecb285265fbe3bfe4f1c747d6ac3fdf1926a9bd1bdcfad7ae5c9cc3f % Sepref_Basic