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 qq   ] Category2:threads=4elapsed=11.851cpu=43.180gc=2.460factor=3.647zXZִF! G]ŗXf1-q恉 :NCG 8vۗ#Y1 h  PrJB3~Dz܄9Itwb{3p-*--_b?zdV倴|(L + !PD-E06D&YY&n CN*"IiZ Օ+AVM=N5zɞoI"4DJ= g:K\JszY`dO"? ⠈ؖXjOꝖkOKDZK7.ut: "n3=ogw vS^3uٖ5"S]SPm퇛ga_ng,X(Rmta "LR0RBkugfj Om?4:{&ֈ~ĄixI^Gnkj_Eȫ} ޠڙ- L!fەpJC{~JTi_~P|FlUu3Vk w^p\({7]n[dɗ4]gYZ7zXZִF! ]ŗXiɟ1qnAcP꺣3TAaqvИ@[F#&hyLYzɁz؄r2aq%CԷ.<7 TŹ%EhXUя(m座0xG,j?,;v)Z'EDdc٪/"S<0]ЛRcUK1ӂQZ%C=GKȅAg%"R7B:X5vЌaD"OG^y\yQ`KQihd]76rn%b|c&YI0oa{i =)/;fQUm[c ZN-[aӃw< Ua:*3FZ9?VaZkaYDǓ u];O,!"(6m!8LډIH4\l WW(ն!6W#\@IiAR/ KxuRϐ UJoZ&wҤ^ cQht%uqqn WW@+:K0ސpA_s/)Zj:Sk[2}=v*\2VJrzk{$gg[2Qjo:}0/rx_ƑGSьjD H*Y;o.w3koCZVf7XT'j|<%"/#†ɞo2n$CvۘtzcP16qq\˛9`l ¸Aa[%")CX5_[/LM-{)nE6sYcl֌&_sPGάdWy U:u9V 1Q1II=,X5x03'C~Sf k-i72G3oK<^s7ȫhXaX^2^(o Bkm+nRb &uH'ۈZĪȭ#j kb,~3B=^vex26R8byk&RD띹q`ܐ7j(x\St{Lh7Tٳ?BviՔN 9peW>9!*aS궇TiB*  !gYZ48a23b31dcbe4fa73cb7989a39868f524d16f70a4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 17d03261cfa6b3f7a3b00fc6599df4c0af151fd9   Category2