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 e \|, ] IOA:threads=6elapsed=7.270cpu=32.464gc=1.572factor=4.477zXZִF! (]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K 𫻪O=`N@rf(51Tڠx9OJۇSSBsԅ" d%42@J%w1%T}Ub x@`-3Ќb>0sRG8R4$2f:Iܬ1KmQKH3 U[kײIQ-DfKO/;<}3vtMxSa7^g(l #LJ}Fkvm(SM~Y+pHjBvKnHC-CEnGjk U%+Fn՝9,16ob*Vp'"X250&Q?&J^$CTU ,}J̲!ll'w1F)Xn\9e<)T$*N>UY/4ŝ[q1v "FnVáH}P׵\V$;GA( IJTE 1dVezj31;o\Ze9|fA;c.Bm,+Oۓ{0ItaZy*щm "˯eD@6UhY,qއ/?{zwi'}rj]fTVR?v[KJsLa|7bQ6i"( S2eL3l5i)!ND <~'X2oERZ- oUo%XjxYZ`bFj^}_zC#Plz4V Q:ߥi6oH}FlD·NPWlayW[_uHϩ\o"tRSHIgY wƤ{}8爈#IeE#;#'?g-h:#7KuOveUM>Jnppj& HHXOi I'`l +*xyfG;s_RF|<]g;`mpCd`RORH EBBh]E` jyY ^veֱ9-;S!u>bˤ9O|j< yItnd,%Ɠ"3t`?AtF2a%>sP YL<lgYZ918b6f6943b01a4df955fa0d769d3350c737c3e042a32478847503f3f85ef33601da5d3576da9156 89ede7dc0b82d7f6167cc537096edf93d9e4a1bb 06e24a9bee4bbd5ab17465ebdda7c576acff8d1a  IOA