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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info F#L ]S List_Update:threads=4elapsed=95.677cpu=289.160gc=10.264factor=3.027zXZ ִF ! ]] ŗXf[&!9$~ aFaڔ T# "ۘIJZ4.9!ா ^m ij;2ܨQftۆ`)XZB=8?qʳ(As$0Gu@{Ed֔MxذpZky^D1b.a;SCG@2(qv4!JQ2wBb9~j<} j,Y kn2+y5j_E`{_)^$&ŢQㇸ8& #ob&GhP$n7ޑ0qMi%hb+ # List_Update <]U~bUPRrbE.;f^cCF?ekRB!B,_d/<Cn7H4Iy bJӯ=&_6e%e{({96u̖#ic%)r~jyŮgC^8'=qJxSv)Ukz_Qf s˺ ǼGzzE nݜ4y m3KuY8|ɻY\c-[wgB= ( @ְ5H<.^_4Ek˫aHm]ow&%S}|hnڊEU4M ?6zSu-oy9ܺ^_cbM*+qll wxH 760 B<~[61}%ˊT g`R)Ho .O{Ʋ{ (N]m]ama&I,i`)_^>X`k%v$\iCXOw{%%$*/| &K$Jq4AǡM#iz^r2orUQRÖߵNG bLDX:r{ekzPx.ՆHoig9pF><fýuB=vԅ<R!0hVTܿ3ȹ ~]G8t8GwPKR?3l+ؗeM8%r WSK8G*<|;gCTVvB(kyIM@CO\4Q3ф QKʦvS*۾ r";,-S jLtJ x6-xX͂VB5Fl>pzPTT X,4t{ } 4^uxu qAb%h֊o%2YTLc-BF@ma'TE ?鳜ur_s#;5bx!EȨU`E =4FwǴy g邱>@U3ҠUMN ہP?lrMA{c`%z /o>S#^X"/vy 8ڏ%CYt@ vSP"|R7Eq V$EIiGұ3q,{b 35p03$7qxᯛWϢɋU$Xz(W-zwzP{ǧЉWRO-xU