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 ~ T\ ]/]CRDT:threads=4elapsed=15.122cpu=56.752gc=2.196factor=3.757zXZִF! |]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&U}{/Kf%-jsKnۄ[I R=ģڼ 1Bj6%JILJ׆> QS ߨ)qW cVۥ)Af߫kp Cd1k8 ~TKߌOqc2LFORu/^?ITJN;=j`G4TWpE+R^+"+~M Mh~JTr9鬑vB%k!pjR OPSճh( /v:1یK{G XuT_1iXՓ9}Խnf PX*xR$czD?9j_)}UC;f<梵[cw6M)L~ܖ/ȃ0#[jF K{SKדh:¡װڬIUᮦf5] PpFƽk4/E":ͤي̅J/$ęe<(-dml/ Wpeen6Pۼ"YXu15E,[qm/p҃{k7/y{#/LVj$L E[KsD0aes茠s^!+g 3Tg";Oy/@73e dSWg.n <z:F5T ]RLNǻ=}cnRT32hKV۟ d]CVEE^x /N6Y޹0j -!5KDYhm'k5T{o"QA#. lzjE/ RAt3v`]#yb{l_uE<:%egYZ7zXZִF! h]ŗXiɟ1˦rnzx <@0+gMLc`La2vp" $(ԧbWߖ/Q`R:( S&j9AO0M"hzoaq$$~*V`>u;cſW}5a+4)MgfJߏA#&%G99S\L=̝H'+M"}Ώƨ#@XgYZ7zXZִF! m'e]ŗXi%ES3lwRO|.2-hR糲|eN 32ĥȁciGo0&aW œ% 5m@R&ca_} X%=@}r7`7h3`amMw8AqyAt߈…#{&W"(Tm(MnۀF14,~o,jyMӜ|isS<0dNIC& m6vIjF#f̬~V ^ɞCsM(f@)9h/Si[. .>aB:z'|PLىM =4)n50K\p[4Ht5óݹICf6Tk` LD!~9\t^ .#t-%;x4Yk .e prKr)?1:'([B,0Ta*kωg9|ouH(L*B` ^#Z| >3,{B>&nI(80}q6zS5*KM,<^?d>_-UG@ (0P6:)佤R].jm1ؕ"@= c?q0)+s=5G!D 8VmC諐.eB!ExFp>hܕQ#HSMI!.*uKV!'bâ*UiSkAyi9c;6]0K_w(m+h1 46XW^ Yxk*P.]2A|"ay4o]2.>.hN+K?IV9qaAI[zxDw%ki``o?ǰZ9ٓ2IǰgK=!_.N=앢ƚ4mS2=T!^ Ф<My *AxtMTxgr_ g};"+UR1('PL7r1axD-Ue/lލM25FnA0ů7oKf@[&u NX.t8 FSt! vtVЕJ0ʠS"X^_iָLu6 Y(Ķ߶4KmPM?HHSY=ncB0PsSF!:fHjz6{`X}=~A$Q _hlO RJ*7vAΤde;Gn6 p01YTڼ=T 4ɨmHR̹9iw]igP<43gYZa1958a1cd3aa66e53e00c43f25deecc3fe38d22276b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b595680ff48414be6254b916543da6ae657f1612bb69db  CRDT