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  & &O;Ld| ] HOL-Quickcheck_Examples:threads=6elapsed=68.376cpu=149.944gc=6.584factor=2.197zXZִF! `*`]ŗXf1-q恈?X Vd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'Ҏ!#^H0GBU9=jN3"MK %`oؒwe6_{uЫ#P?){a:2ma,<;IlQ,C9[WAa[w+y͕\;rpd(18',iFq} 0 qC򒀼K)i|Z^# K]4ML:_,s">aǩr~U,lQ`H;9<>bܫ.y0^U-Z.6cg$^ŻZLlᘕ/:TB_=:x 8w LwGCvx-HI]}¨xOe-'K eðهBZK0م6D;4ʕQ0?SʨI򯷺~_WiWiFOE,kSl2[R ~P[1qX;+L1p~^yΧ$i&mOqv5ublO28)w/F am./ʖ̓o hvۓW%s 9h"r=qҠ^\{p*|O)@}A"%j 1E=вxu<4)  ;䐩hc=2MF( "%X`ͽ~\pe"A%zTi/=!9Bwm筓6rZ 6*,qdN12&~R2)cKsS7!IrrI+΄9LCɱI2̝M8cyx`[LJH+5(^pr\y2~0]w2 T"eno+xpҬ#8CI[ [d]Rֹ [`;'.i:fd6(o%bZS\,Y?wJ_]yo9׶/X~S#Ju liʔ<>idW˵CzF,)QaI/{uLS;lϴ0q6pNԱN% (&Ҋw( ?$V(rJ":;a;4Y@ජNxKOzKExF.}laO}y+cbecG#ũ0Ucw[g;zt®=_"/1Ehlb [cz y`450P H[-L#>EίLӛ: mIߟI oڌ^ۛ +t|Gz\8#mD(75rǬې[ nOCS* HLb9S(LO?)IZAX} )]&&ԙ.-%9@5q7FSbhL z PRX]ʸHX!7gz[mFPs8EJKxnJ9Gf%TmX,;5Ѱ }@)5T R/)y;]js +nⱑ, ,e\nQq3OƨTn\)v]V (޾!Wa+lX,x&R?0^V8=&Ş϶(<}+^^tL@6>FleƀD$,i:d33H;/Dž9J2^?w?%9_9{YaSoL^kehSF] icwt NZq>Yhb*ޘ4kȺZ/co H1Kb