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 ~~1 t$T ]/ JiveDataStoreModel:threads=4elapsed=9.778cpu=24.520gc=0.848factor=2.517zXZִF! r]ŗXf[&WQ cx o/#Lq ^CtjGCfL-K+a*F:$}{NfvX)/HQW\;3PmLֈ+NGC YNG(j¬I j.ʝo] e)Cmz:.,H ;1fncKi6>⨁U>>bҭBP@\ ;נM Jesl#%-#X[ ]ߺ~ {>?A=;t:D9)1AUi/ߓv`e?&+闼i2bla;K|ɘ ;Lsi⊽LRpc/M) +nw0uW |=̺H>xw#Qڒ. a ?Xmv;|nb=h2Q w'!P8MzkM[}&O c\,r/2?븼 P$|lx4 oiI6θjZ(#h,(9xs55Nŕ. lL8JN/`D]E{ Ehn^bxt,2qK&HYo(ks*3ΏY:'=H jȹa׻ͬc>Ř*(dj!&GB8A*Yw¾.4r6wS<%ҾI Gte? htCFa gBJp qؤt!-›]LSN% j4 T<5ӡH&_,,xY@Mx:p u/8V; ➧/Gy,:2r"%E"\!;7[ pVwIǻKPlưi:ޘu+[6j'rƇĜfÔ 6gw9;VOí9-h3CsAnG2 q4ʹI+U:3\ѯQxAhQj^4=,sy䪶enK>X a~W86ݼDnGmȨeQ6hB*(h<'o| @WFԩQ;m4rpֶQѡi(,Uz>JB|"5dtIP ha/c "aR6?ˊ.G' Ҍ}^2