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 m1 | ]]Abstract-Rewriting:threads=4elapsed=28.775cpu=71.840gc=2.328factor=2.507zXZִF! w]ŗXf[&*%5r+=~ȳL\Th;% JUO4Ub>K ?^$ .π5Op%b݆U*nSRa?ORt\T' W.Q z;vpMy#ېm`ڿ+8)#qy!Bx>DŽ2 Fb@;|Wi67BR+mw!= YHv]`˼/g}EJ@|S/3+ q4IWYK26ªZA"mёBemudkn'sO4hw/iK,k vUjxk sF ڱ%+y::k@n'g.ko} ~/>,;2E``і ,$-E&ɓ/B\+©bN'#u^~#c8+J/X b@S压kPdC^tS ubll 2,b80^kG(,ͥWK%W{Q@6mpvMy 5j>NgYZ7zXZִF! 5]ŗXiɟCrhi^IxDY?Av|5)): axTF71)͍ʃZ&o+O)!y~+ Pb핐uej>$ɠzOք TlOvd?bCt`Xk\…벢C~.& `l (Us">jT DJcbv4(&ο?i9<,,tuݴ*"AEhLȦ/@q 1r%">hgYZ7zXZִF! ]ŗXi%B梃݅+ly5WQ )_r*6>)6y;AI%(s•6ۍ0_ ]MThbsҎa#2"x766747;lBz94ȶE~s0E7JE!^8G,_19_7OqBt -~`ۆSۗ[v"@BxRWv@dwi^d7#Oyδ+e+1 bc[wXtuP+nBDS|j $`=#kW+im$!k- ̞;Gpov9^R`u28",lF60y%'ؠ-T!foQ\m{B!<+ 3a;m^`BBQ>'-n3">-&4uىw~|Æ g<7oQ13lw}/}ޕE4cBm!+(YNP1fȒӡ;>yq_)0.7$>*A_?*tSMj: 7q}E].tm'G5g)R*9v0\nwMtʵ 1U,%}~j <2>cVvd7{_𸚾AnANVxZDyD1ЉjY_?EQR\U ϝnqx`p&\.0(k]>]=C3K${\V/Ipl5sͧQd utJ SigKWELQoy48oU=NM vɧ z*xGfAqҦҤ:-W>(GgoxRd4\HbS*;I{t>J轹<C 4&7SR>@9kIC 4P Gaq*FSCشH6߼1Yn@S[ >D3>[eW%#(HHX8 szEnw&H͏X#$CDTD]Mּi>R<x)U=70ҖҤ\ xZ!H*-YMӣ].BXP#׾ziL`tPh,_dC/Oԙ+PhC0JR wx"zDjKi >HІOJs/igqW@OSm*jG#!aiZ Mħro[Uȿ RXw3|/gQ% hSphUusbI2g y~#&❩h|^ahAX/ubl2tTD^'> t1!ߊ%W¥)e4=gsH(|h]k(^9(i؋hW{;)f5GxUUkH! =M'Rx9٠cj^mUΜ.+9dUZ&_Y|F |z[1?~(ʣSN@.~ƙy憎A'H⿒ӸuOU Ig_t3vKG9_ӆik1$S;Qyak=p:D-Т$cn"G.M#ngr5onbe'|8u|=rA(j?_9o- d&7':̄ϖn~qEH3P}3Vm\L%J jb4-ghtzx'+9_lHGy?wS+`|;8D{fw֙)8KgOܾOe[b:@}BI mG ho ޑɾh@6Rf!$^Thk)- 81>0.@'فsUgYZcbfc6e36c96151eacc70dd9b6e43de8ccf1bf310ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe efadd5e2415b70a835a36820e6157751d92cd168e638dafc32883d2b0fc03f9ac650ae3b3c86a11c