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 __ D|4 ]/]CRDT:threads=4elapsed=15.526cpu=59.140gc=2.600factor=3.817zXZִF! !]ŗXf[&Hq5=c 8Q>YS923`zC5T953O/LVD3t槫EE?Eaᗇ)ˀRz!Z8Jㆦį$7&w!i}!?VN3J}DC Ӏն*8୴ރWaFmO]0>حhdr|o332Nn<<On{ ƁjE(hԃYtFo0fR/ڶmPM CLp=yUGHto ڨ׶&nZaSh%d  +D0s:c;,XhgxU9^6X^/~wY G.]W8e'p"Wb|慔+@W1.C`z7m2TOP-?@gQ6A_YN%-俿f^;cqDlD(8Bf2E*&}[]`n5P 5J|}ܵr&IzQ<Œc. Z?I3;c2̍w>lFge05"0U:$G>+nEޛydh0ս~0V\rV,PbG/ acrB/gYZ7zXZִF! h]ŗXiɟ1˦rnzx <@0+gMLSj`sYђlzfS[b 3duUVeL)IG#NN 5;p9kN5G]j^4 JN勢t@[Č4a4_y8ş|ґC`FN!ZxdY:Cv$&5B[ESxB2pPԹΌ- zo"JugYZ7zXZִF! ^U]ŗXi%B4T~ Z v*}'V?EFC%=\*Ə<v6;-ŋĸjncR9w3:gpw z0BDJ`CIS4414׬GPQ#$ɚ|D,@IKTs QcU+ ʅS$-'|&/e6N|hA:霣~˜Ux֨9A\)̾O𘓣s-[B6?:x!5Ag{23Ml g0P4MTgݠƎvoONVF-5 Y(*%E3'dU>TОv]NҦLv0zB1[o~RKwOl+4& I 7[Gh5)itY >FeB,S2L=a|k%Y;IGJ(WPm2, M0% HE]jKȣX R8_8Lw!aG_ \ק8`'qU!ty;(_Vw{0HV_.@@6 tUE{c#\rIİ )IƚWR[jCp4Lj1m>ZQ9wk#5QIo"5^T%B/q@!2b0v}]"-3ެ5.O}Oq=Qj.G`,1T:|t%a96p՞)D"ybw,OX}ZQe:<.27GM|WV)ҥ9t&S[m) 54NON0]9I,[ܙ לQVFo0dUθz -baiw6x.+/\ ʒF~k(9au°>dqU %qqۿ\ Ma,n2B)HHށ<ؼPe4G)\\6`dG]q0# X| dMjegq^w(6֎S`wzxXI/%ڇq@wZ6(&]&@NȡZZ/s-/& (r$<0g d6n!?"id4S[8Lbڠb~ ;b ^M8b+݋%B7 2n[&Z'C@@߷EW08Pm;U7, Ml0G#70E'C9:yJ(hS(y7F=.*[ve^I 5R1f)f/C@(=$Dloàx=w2ۯ/N0xb5-f"YY1 m`yFFyY1>oO ּ=?ȱgYZ10a39b1e1ea071296173be7bb189652ea5dacd479cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d6a99d0991af48fef96aa660f735af4b9be170c5e  CRDT