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 ` ,Lt ] IMAP-CRDT:threads=2elapsed=23.621cpu=39.236gc=1.868factor=1.667zXZִF! :]ŗXf[&5s^K9 aiinonܶ9/zvl \d=m Ѻ 4 ?pwى_㟗vsb6)7uJ3U?i}g&ŷa Дvt5+ 3Ԉm aɶ\oͬzb.gYZ7zXZִF! t]ŗXi%>g@b 8JK]z9S1$rA؏wC%}QC 3-nVQYǤmU> $}2_Ή!wT{TP}!bv=2 5:VS$%y|O$Rޓ݅g75)*kyvA oka%Boqΐy)j{wo$2QƼv(_ Bj.A&:)/1ᨀlw.[LJ_N|Y.VJY^}g_K''SD ÄZU}ҶƍNY'G_F&2+[^Nw0J1Đu[¡v+UoocѨ-DppΙ[.R߇JXQed ET@Kg2\Aku_$-n\ {.xZ_b_χngzL. rO ,$ `8JxەtgC%Jȁt?8.'X.0(z<}~7p**5} 0ycr όSlx)Ŕ)zh[6Wȗt[m+JɼKhB7 YHM8AD[91st1g^I!s>DiiG.MΈl!S{ԟg9Z҂`oǓr6J€bG63"zٷzNHR"&T`Kq+Ib|"\^s\{*JY;y9+mwb& ~Bq%krwtSǗrFރK2{]%gtV? pHR5 :c*0Asl(l([.w^jRDPt!-u0ͅc3&9[Rw“C; 'MĆu?$t,%Ҷ}-dR l`7c9:My$-vᮅSٱgq .F-߾bwFlFYm)Dž\`xe p*='[3eCcwC""Cy2/Lo qdgYZdb344a2aeb45df3f41d20c6f9c71970271c2583a0779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f a351cabd68026cfac0e1f1ee5e4ddad3a43a495f   IMAP-CRDT