SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 . \4 ]/]CRDT:threads=4elapsed=16.657cpu=62.120gc=2.408factor=3.737zXZִF! &L]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Xa&BWYī 15|vI=TMeLkK^=Dm 2`A)&HϷ:(%et-YWN5G7QBIe9N5УwEjjdhݮ<7Gz!כT^Tfg4ojl榥i0cتdm>B@^Tm s)yq?i%~t(EΕO}fкCg ֌(R@n0])sh$I1(0$ W Fѓ\1kF= OMA?3N˩mt+5{iqA>> j;<-1R=xM8Zհi8gمo\5z}c֮&7ѷ4(`,؄"n 75 L9VgYZ7zXZִF! h]ŗXiɟ1˦rnzx <@0+gMLN-Q=.HLiv6P@;N@19)Oė7tq6vw[)C1^iUHz̘^X.Gh+m[*:1 $LC&-L~;yS : گrHw? !.ҺXFxήdo۠ o~Rwo[Oѻݑ!`` eNtjX 5+FOɘ[J, _]c []t-eE[sPf5;UL`on7]Όg1Eq ׭ XoJ߭ #SR ZSIu<ѱk yu=]3swT'\쏢LR8hW-q$a %{6FȳG<ь؀X`0qcrZh䮌6"D%jDќsBY 2泙~@LGb(B)[LD/TM=ߵl˺*Tؿy7 ok>zY:<8dʯng[)rSoCB=דT__eʀH-F{| m %֟vqX>1C7B #Օm{xV L"T¢ Ȥ]\{Iz0.BB O62gCEKY~.~.Sj~]]-0vY[bۆU 1W%]:o# h6{}{pRRJVkG"~`Ptx͸@ +6@#q[" ݝW87B*{ZU=O1QcB 8 4AؚH. A&t[_G]f3|BK=, . Q{8Gtͦ E,;e,3D!瞜")xq٩22LB&e&y :7"@~9t [.(Ӳ1chCB,C$)C([lLuEy|ȵ qufBJ`ݬTpk{|ׁMIÓ|UWC`<5Y_{>\.17U+FӮv>i+R\IT{Gd}xI4$O J IG7}C5::=iBi$x8{Zë )X~)X2/M6*?Z5T dʂ5&%sBZ?g}3ԏUyjy'+XJ Qwj4̙h laH'&H9[fͳjMHPNؕA<NXLܖn9'Z~Wel9JB'7<:~:[;gYZ042057731ae495e7170cd5b9f8ec5c91a7c3b730ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022fdc9e5777fc05cdee22c579a02c39cdc48d58374  CRDT