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 {{ Dt ]/]CRDT:threads=2elapsed=25.668cpu=48.148gc=5.360factor=1.887zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&U{?q~ԷUf9&c~;WO%i8 ;7_ PEcDk I{Ls9\nyU$y~` a{9et1ѐ)\9sp@·הU1Qp\dcZ/`2rO_5v$^XU}@⌹{P*сʠ %A` $Y>*tx6˗|fT}ţB7,; ¿|&V GMazj]l *g Y;Nۅx#UEfXp@lH"D86nYx0,wIYar 9#aꥷ/rDh#6%C½3 JY^!߆`"̊m\;2yJ]  "WQ^$˶`ܝ\sK l`73+ !vPV n`٦v6N!<`cگq?46e O~4Hls] YPƓ:(]'0]Ҕ,>(3|8v&08㾂Zsll[ K%P-V`D ߾ ݨrEm ?͗<ړڶO 8jT$Iښ0rj~gYZ7zXZִF! e]ŗXiɟ1˦rnzx <@0+gMLdh{\ɻ9jR[뾨jDh8΢A$Z߇x r1-(tg sd;}L.bFB4<5U\}방G*%ĩb!D. BUrmXQZݹ`S8L*Gb*!eN඼4Ul1-D2igYZ7zXZִF! ]ŗXi%>g)MC$Ddb-;90vu[:3I,S,ryEieL E֋Uf^ӦcG TX՘sDq]jG&fßGoVŸ.镬"9u)j,,HEpxbMs:D#&M'.=(Sc-sVPp/C"i'”*^>H[O}ltl5@;Cf?@al:n%8Q>B%ݷz ",SJLvܫkف>c:V =NwJEC[䷮Zepnb#\!^&›iJ)"YL0,46!tclnY}j)+\ZY%iux͕n+(y$zNP?gߏ'*ju\%yf| "S`o ;ޔ&6TRs?Li^Ϡ1*DU $GM9:y*.(oO%&ʀ %ZNR;ga'oc'~l+Bϣ"p?Uz2K^)dc%hJ:5mfd9YY/fRtH~;+\%ah"\WЛK6YV>y8WTRY7pWu3Aze ӨiٜpA&J6jƌ𙇙bBg%faEHg[z;N̆bD!8ژ"D?מns1:=*q\kSёgF3demH41 ⦐C}3-鼭5]; DooSHKewȩ|?h&U #T)H'5C3MS2]PpƓsKo8 bԦna * tD,psG;ȠffܼSzz;&p^[a[HG h xtcXwO-^B[\"`0'F2Fܤ4 F&5O[E/^oD)l X R"h: 42%o`ځ6%5kP|'gݱ2h a2R AX{MEs b R\G[y(~}Ϛ z;w=;)қLz>BكzX,@`:iɪOٰ-Ţ1;\7\T1,f4DE_'ɦB8pO(I럧ļ&@f{I궗ՒNMCU#tTppZ]fE3ͳ s88cIsE`w(O՟aaDN_#ʱ KN4gYo_J}PLJվ̹J,xI3w#zg լOl`cGX{~I9a˵sH23~502֝rb_gN%~_BqhڑݾIR5C<`=XoN ~$>'WgO%z@T 7! 8 =+W+ Rx5UzAɧF?bxTi f7搫[˰H.&%'8=5g%gg]ˏAo֧I )h@zDfu4 xМ^0 \΢[7d<>evHQ"!F[ ?}hԖL6뢌MS+`  llǛ⍳ݙI9c}N ->H7`hR[{SdVv @ +ǃi8`t8$ ~d{gYZ7bb281f843540f98b79817f929b20e88cbd49e14767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab34184d4f680ef9ef8eca1c306d8c0d6d4987271f3397  CRDT