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 % Tt ]S Posix-Lexing:threads=4elapsed=14.682cpu=32.080gc=1.460factor=2.187zXZִF! IB]ŗXf[&q$/= :.@b҃&0Z_Q?%hT,'˞}CAq:\Ï-)ʁ|dBCF 3N[ 4)ҲPE;L |)48'K0#;`M/];} 0FꡒC:fn9x6 ɨ 7KS,/%,{:`J҂AJJa ѵd璽\429!^)=&v*|l j&U.hqvY/2G2H>%6N*u+/p?ohVi?9?]ςgYZ7zXZִF! b]ŗXiɟˏ6t-utD>ь@z?HS(ۨmzj譿BaA Wb2O=qixԇZ1KS=~ gYZ7zXZִF! ft]ŗXi%Eb⬞ԗ+zF}1C$ X8$8C;*YS(D mpnGȉ\wlFD['t`."7,,B]Ȥ.-"`Z-ueGͥ8:CDRX- z-1i}%YFQTXw~ԓYy5qb|4/m sٰ9ׁY6,)*YGzAZCA>ߠ5ۍ]~D! &&78AWiE@0ƒİ0Ir΃cyvĨ*LU| [ng@-@ '@Vqo}&l4="wJ5O3' 4ϳ(*2L$tK9@|x 䓺3$kΙLJP҅z_HT|O(|B!$XHgY xH>dod#O;`OL |Tzݻ(4 9UOwQ7J<Z\IO/4z.+$6+Y%?Y+Do&0| ߎеJ ?#~%TS7xjjUp>BYBg Wg[ *Q׺';Ë ~qˇ&ʾfrV) >ܓVFjp:W9u%nE=T&N} mh=!ƃڂM aH?(<&y ^;ϩ%#qZ/9;=s=,7 rz}Вz@qYzΦΔ FI8&YoVp>63vJ^+. [D4wnҕ)OTs>!6F>qϲ#贛E~֪g1.ܪ9or>ZFs"QmA3KO5k(xd5,ud6U gZxuΙ[i&+-{̭ЭYvosX1[8%ͳ=C/np O+fD~-B! KggYZ0375167bcb1efccda19cc90dd4092c59fdb4bb2287d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 5cd5e5862c7bf9500dffe2baa45af19637eaf110 9d10ab6df7812cf906d41382c2b92c35406eb515 % Posix-Lexing