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  ! L T ]/ Prog_Prove:threads=4elapsed=3.915cpu=11.696gc=0.488factor=2.997zXZִF! r]ŗXf1-hg3U]r1K9a"cX]ݵ*RmFUI@i@c0,+xhd^Vޕ GMqo3uFJ_&XFo89tmLnyC'YW }Bt-wl9;^e@?MR\v5nrq:j XPgYZ7zXZִF! ]ŗXiɟ˕A*++Yđ+YHz.F |p^Y8#mBsOm]j4 6 6*PtY)p) M]Yfn/w@47 $ =}P]F6,KGc hq9Ŵ5*QE.u gYZ7zXZִF! *]ŗXi%GVޤEztٖ2>L^[[K%?H$\V-L(y}ŒfZMcm6Ed&˳_=ծ&݅EyÜS@9yiҽlMT.YAWGߙp/zɕ9vf>ʏ<4@M_,%ޓsH?0DKmxof[1ڑvoYWl;3^m~j4jgrz eoT[5?GLE`&ALX X\۹4ZT7eG1BzJb$EMErW^[w|Q^6Hp=n^wC.鴨[)Ej XA;μ5mR0Ptcv k!e|NvpP{pz&hCQo):!1(a1;E`҅oz7c)_&qѯ5a*>%j u.;_nKҰFi/y6 lF!B}J?jSVYx7+W;i`!] |6+fnu!c%nTx\(PZw?2XӋri356Xx),zgYZ7f7fab8a3bcf3823fd72e65ecf9b375bd065c0f94b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2  ! Prog_Prove