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 TT) DD ] IOA:threads=6elapsed=7.297cpu=32.640gc=1.552factor=4.477zXZִF! m]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K eV%F>UǥlW  b`KT.#b[F;gGF U<zC,uB>. 0&yD!bj} 'Hy~cgѦ,g>p֮{jo)8oVgod/A+ҧ],⬖:^ڱgYZ7zXZִF! `|]ŗXiɟdN'LvH۹մQ2Ǣ^ -a8Edaݬ!?g+"ICx_lfڊ'؜_ǟP9G `{@І'z3߶z@M&u@k8Pu2)Y!̞ TiAoqF֖^7v<Ύyds4n@AЋs(gjSu gYZ7zXZִF! )[]ŗXi%LZgS+),u/q sS}}E0L8̚&*@b&"9_*Mbk@+)uZs=fK^Ȅ7z4Q0G;S[7Ym'tRȬj|b:@] wׄ6^cP]I8TBVFɕ)B5_g{EM^倬Zm _=|Ҧa#wWV/|r|D<,np_d))]#m3JA4F}QWHV{D/L]T僆JP˪ ;ܘ:?9+tz+AuZa]Ş5iH}TZ!n{VeBQK` %@‹=hs ӲKN0h9e/ zTeb_ReTWh*;^K2-Z%Qd;aa:@fenUv7@[A\GWL[̏SELIjT 7v WĀTvy8)>+$?#͜8tŢ,@iϷp]ΣQZ!#4W}?E@1LB70: fed.v"Pl ~0 n/ ҖA?qV&5]W`i@'^SRgYZ511b3a76bacc28582c0b64c913db6732a3022cb9a0f0a66fe4b4e42af65fbafc96b4437732b5beb9 5df07e4c8a7f31eb67d22158450f815fe237af54 4a5b493f4ba46552c22229d58d7db6b0ccb9a55d  IOA