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 hh $tL ] IOA:threads=6elapsed=7.213cpu=32.408gc=1.660factor=4.497zXZִF!  ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K [UDeFu]GO4@(d`Euj7ݙnx"X#PSXѝx6g[Fг~2tBO~%Uo%v<%;R$䁈Tw?ᥟ+)w#>TŅ!&DЈ I25O\wFҀ5|e68bYέ:A"Sčc)>b Rn=g7 sr6CkaVu_K(OJ gqƈ r!S1 NV^L}4'ۊzyJ~,m€o%Cu%53oH4 3e޿<|5o]&K:rT4a-[`>]_;kZzVǨC! mQO fϞ *Ak2QQp4]]I4,d JgYZ7zXZִF! `r]ŗXiɟdN'LvH۹C<" !LZōZ Gռ!M|ׇ,ėK9|rF!uo73N؃nynNh"׫i^̔zߋw% lMDz.*D&;GPɭ"m|_b~Tb&;BeJ8'x0v [PXӊ G[W3: s Kd=V޶}~ (NA9g`FGͩ0rD\z:ZA#p4w<6F`>H-'<"W.pmCWŏyj2@ ɖO]bB/%^ svC<8ULG(ܱܴm$V޸۫`$DMPT -w5*.Mٌo9c!bxBYeԁyB"&@D AS;ꉧⳞ<*+}]Isۥ[liF]xq*S̏կBUvK]Umdf:f}=^%q@:HQw9{Z龔Wl*܍ehk,k>ea1"xSC&_nټ1vBExi(q@D{#X-;V"s/?~si1U247|,B YҐU>(hjM﷖h*+CEN r #dw4Tw0U٧2uGV wL4n9 ӔL -ŠĮ~eCL9V v֯lS sQgYZd1f8057fa790c437da02be6f567c52eddd335c5362b46d030507eff717bda6aaba560c4c46c9bcf8 728829bd792d2c691813ae1727b2f161c6b300e4 f5d6320538fc1d52cb0eef34421a5b22b03e16aa  IOA