SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ''V d|\ ]]]ZF:threads=6elapsed=12.579cpu=45.380gc=3.020factor=3.617zXZִF! *]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw>ѽIז";t'jemM @5&̵DQq񆉦cb(ʌSTjk^Ɉ˵KߢWAxXYURP[ kRDTb@v۬X_1 $AVTrL~CgYZ7zXZִF! 8]ŗXiɟ 1FE`穱փW oSF.6Eݯ1|bdaIU SC%,1wp̤ɡǻFV<,3ĈKvQ'WA2Ú !W~1A řuon)&m2oκzTFw`mq8hZqG=, sia'ݴ%ZDcDnE v) DsǢq _%7?3^6XPe~)FC 4/;,u^)S4gAm+Ugey$߹` Q1Aq攁֜GOrJJ@<1E;b f`&g\@M`ğPAj^d*'6flG^G4܂e:W/nx@jXfK$*P S:fͣ6,OE% 1RU4mN}x࿝7C F49 <v AR\w@c˜-߱gYZ7zXZִF! j>lXۛWg ';KHy ID(#.0(ȅy(.Dp誄NrŨw[7f_È ud'vsUd; [NlJOC!ԸkWp bZ.1cQ#h]}C}礐QD jm`$($RDMp-%!r?:JmK# ,d5jD!O}d3yLNcZbSfS6e.g9)o .-s gWգz0~|&PVjFb=,ӎ:`˽yַ'Uu Y7.CCT8 h"ORA辨azج?җ bKj~Зf6c%7>E<ѝ8M_!]B9qٱ0R2 N9J$8dkJV!ѥ(70LM>?Y0B:-kbo i :3,6aښ>Η("{$!l Gx ֘.UH!9 Phߦ6;w3FGHBTP N}sN[/nx J[/=IOgp SBNQ9 ̜G"ŵ ~K > ôMlX 6,b(O=1-0qF[-[ݘwԜjE@?hNqm9GΣ'$Io:^kz2꨸^^t4\2O;=dИ*|h]N5 kaĂ%awO,R]Y.uzJI 4PUrf %~z+ߢ/jm%ɾVM_=H+dq xN+gYZa3ffdce4353e07d72de0a61d4cf092c60d159bd9fa95ed0464f30ce78a23f18378a450505aac44e28a394eefb0cefeca1aae6ee74626e436a17bcc55  ZF