SQLite format 3@ .;  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 )14 ]% Transitive-Closure:threads=4elapsed=3.058cpu=9.324gc=0.248factor=3.057zXZִF! ]ŗXf[&L_7Ae6^@ 3_9#;(:)L | m19$g>۽b{244{sF,n7)7BȥobGl3{̼XƶeJ}7CA}>lnWF &:B}Cf-[dClES׼!y}Y\4׸mͤ@Nk~Бd=vїz|ku|[Gn+?3- IW91}\ #DgYZ7zXZִF! /]ŗXiɟReDH$ 3gE= dA *!<9ف9qzã=U1I/MFU5 d ެX*NXQ_oe( EAnDv;f {N_5nD)1m 4IyT¼[e{ ݚ'%jWHD+[17;tfẕgYZ7zXZִF! &;]ŗXi%L lbP"*T\5%$bt!B ƲBDM2ѸW2bA¤$6.fhUX=R -[S:1{kWWlƍbsY_D/l.ccd%=Ik-?V[, Vl+\8(L?i<>P}-fżs;ˡ nTOL Ik3Y&^b5's40Oid5УXQ! Cq rrA5oNc~-ts[S5]Ɠ<.l$}z\ʼnZzպQ[v8NF_5q6J2c9ArK! BUO00õ3K3ѹgIZhM[ubqO<b6GKUBh%:0g@:\Tc=Ck [Hoiϻ Fɐ}F*_