SQLite format 3@ .;  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 25DD$ ]S Card_Equiv_Relations:threads=4elapsed=0.595cpu=1.616gc=0.000factor=2.727zXZִF! ]ŗXiɟH)0%oWS^ol; Tw;^60beUS[Aܻ8A|y{},dT/ gyF;:D=TOE!($&7l'A7WHu`DX1 EB.ґ3AJ#Ck1]j Ka)'ѳwUk8MGl 1CUc0c¦~]0ȲҁN0EFwjBgt!Kmɺ T/1 5 Card_Equiv_Relations   T⻗gDfl)B as&\*X@SRC\tֽ}`n܍ICfNj{S|?'zR j xNr ξI*)NA*҅#~CiK3O9}pn&Zlw:*~$dW֍u?''OB|Y1PSe[VgR+?ƷH_{s%T۠T zQDH6'9^".I8%܃9~sLJ l~2ggq JSvJ{ܴ0=$uxE땀<'NAI\Y͏=$() 2 q~2c;UVff}rՐU5x[kUWA ^?"SCM\gΎPSSa.zկ%Ǡ4ܕA!BJ)!lϘK Ј 40đ<*"oIm).lrb?y,p@B}Ѿ翯"4.v]RA˴l'J>ma Q$$ Bs4g% iwIQRdSoByƉG. ne~<ώ,O $gp]h 0`dZ xLjT}&Q7nS  Sg mǪϐ;DO)iKsC=53xB)i]>%RW8_UWdjb'ѥe 4Dn3z9fkhi8RqJ5^EH5 \3H5|ˡ GlLAv3睓zm)nGÓ ˼7 {tt {3 B57G2cE?kS :]7n6GU= J8 #Q+3U !hR'>X4=eq<_S {X2%Rm D|ØLD>[U?Ws_4'Ɂٛזm)> VM4k\TSwx|X|?XF\ —dmfp=eud-$1*hIup45o؝N"Niks)kiQըqbt6)\.E Al*V$/t兊zDȵRңݚlXm="&6Aے1 4߀c@iG&)$,wa+C$ 6IHg)ǴqK&p,,|cguB"q6GO-!6Igk,\ $AZؿ1+XNzBQOaY*"?JċgnW;g4 0hBy^r|$"3ЇAh0i_  !6:J2C UbU$({eo)CIjoL?7tsrbIoȍl|w4@@|O4 -Jv?a>/?&&=dLyuM)b~}rʻ"ss^> 7g2AV!.ˍkƴ{^"A߃Iظ] 2.Ýay[IKd9H\2,cAg[P\=TU(!I8NgjwS H҆a8ҥ^dm*PG 5MI&q}.1~GI] lHP|ǹm;*vҶmZO2jV=jS Pl5"r)Ds7@$Dtڐ4KVR]1-(̟qoSJk6e͈FzjU&EK44e03IXatsh3yǠUSjH+Q#"n],8BSƾsSf(kMm+|4L|hms4pbleМ9#I[g?߻>~t&)r"eYa9&wtidP%K2GO"BF4&)fmIxx=<}yƞ֔jɏM5 N{MHiKb ^~ _i"P1 ;2y; RKu6K)`63&zq##'}v'Th'ĥ_`ݢ2]NSz뒉m#EjU&/pzbuBgYZ7zXZִF! []ŗXiɟy<͓B/ \QJv$*pC[A.:]Zh.T[PP-^nXDesUlVw[qgYZ7zXZִF! ;I]ŗXi%L!l.~fcg &]6ZoZ.}ܫXXTi]+ؑ6WXF