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 __7 $ | ]% HOL-Quotient_Examples:threads=6elapsed=26.517cpu=42.664gc=3.128factor=1.617zXZִF! ]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%ԱCI,Qz͜#Puѱ]ϊlVoM#8գ#S/ ?E6\5>m,[؈I4'(ߧ!iEuyͻmeҔt ZK1"4 zLj= Q\pc9#ptHog;֓# W )yKV8&r:x آƌTVdQgFS6' M7W&XMl<'Fzk(P$ `%`ɘX~} ac3rM&/Rh'K:l I]ne6&(Ͱ>-MOʂZ q}/-RF@b#A8,HMHm-\ڔ,S ԥj݉p#2$"# Aԭd¦JJӨ FSq*彻*iBvʞGP=;JL= x%XE`&U>.>_zW(W|.<*(kΛ:E.KEv|$]sBO0+ 5悳KZwĘVMOhEn} Ig#MJPsY39gYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙X 4WW6T-/'˦Dp|h;<%N|$+eo,/WLj W^AO̴+Id7 ,'QPa|cf] )] qN՝N%b])jXGdO!HoMɮҩ "y+Hwk] CQ!) rX| ܀x!짎iܖط3֖A(AV&rYz"a"Q~#<ÀԈSyЫ0աBs AY$V MZ!E;;#s,$A˳ M#Rߘ,SJ0(4M6havxz;mY;0!ؕ$.\pO/2=/a6 vfrs/Xòlk=ɏX|IcD zAFz\q:e57_2O7In!=u<ڝjت~iyHQaG?vFHss9O>ǖ柹4A_Kq0 'SB7lOlS{9Fx1dl`)m,gEƠe`!yV28qFhUS Rb _J pw Y`?{[-Z֬prĖ]!U3;J8lȇ%7h( bykNfjN I-ϴ 9Q//s:fx l. w<)G ck~}%: ٕ̈́wJuu|FrlŹ=mt{ -_ KIZ%WI ueĚI)Yvtv_7^"nDI, S