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 a tt ] IOA:threads=6elapsed=7.016cpu=31.112gc=1.192factor=4.437zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;KQ+|ȻKT_cG,PS~l&R?a98y?d{p`!^,utT4ֽ0P[+!ozkCTU}H14~BgX cK& hO@󕘕J ܗ [滩CΪgG4c CܘļˏU[Xޡ<6`9MBgg!ԞL%BN]&nR*oEC7~i!ΉV 6tS& sD&qݹT8⾠?Ҹm MD'Cկ+;瞁د %@͚LLq;Nvbm'#cUaX7OZYh hkqsj0s!oOG~=_^+G0K8ucn{Ən"= tpd W6Lf9/gYZ7zXZִF! `r]ŗXiɟdN'LvH۹L}FuGK<2/?/chK;{v7s#6 O*PΤ#F]E%FUP$sh"NTxH :kƶ92;ɟlԨ? r O"O^m)Hn.S=$uִHi5RKҜEsRleWRA&Ü˼bE$@ߟaH/+kq EM,;>DFṶq0vaHbH3S5|҉"wԡ ojHI[T"͗]@m]{([Y,s5`蛅"Pօj䝇1B D_'P+qdnV UIJpQGId|Vdl8 x8:^vZa뻹QG~B%QJ. VG)HIMosb2mBp %B[<ҧá|ʶ2ru~<_NHopMr+wMx+Lnpr ը\]jS3 #*{H,8MAji)&uxGrsaSxgYZ37a03d0acc2dd772d9f4b99beea004902f6784aa7a20346d2c9bcdb7db27edcc8f4e212d5d7547ea c833d794d77e1e4cd4627e82381772084c282cfe 0d7481f3737f92f47effa0c7e96babb38c0c4770  IOA