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 WW&% $t, ]/ Derangements:threads=4elapsed=13.079cpu=43.908gc=1.440factor=3.367zXZִF!  ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jlU{n0-O3Q $ ˮ|iB{ӎdaA~DЗdڸ O'#Q^[G"fMEN>%ƽV~Ky "yr'Ui֛#%⩨AgȢIgִ]YpWQ!";=YRŏ!ǻk8w6W|j+<'(ǖIV%{BdY0;} %[ҳPjsm[VFUh4biN60t)qH"쀘 g'^s@Tkf2jDԀdz/ghļaF?--Ԣ{޽ڿn5w{X#pHj'^!_!Z̓p6mF#QQB ;죙;mR/gd φILDpz`#/1װ@w&{_+dh>"P.#3f'8w#:ϕ&9Og*Lpרt\)`]{|/ iA8P _!!'NE`+2ڛMR[yw"`iqS=ށUfj|p/l\D@]4 4HّuG̯smmǦך3⺑|Cveu(ɢ5XgYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd4ʃ0B#C#UR+;쥀B^?ivUt,u@@t}y*r5E7;҇(%m_%V0rɱ6%l`g"d_kˋ!QZ6O捳 v #qRnq]!qoб1-#Ʊ XTQ_n WOXsH!eUx9m99.QLR68$uѻx/nr)Au^C5@\"u$HC lph-H0,eeV郕53(!൅Y8Y5ۛE$i$s'+AiZ@q"hN$4zWDryr"Gig6VRkba9b.M ~.a,t:w)m&q\8 ZdQ/xlB=<+^w[ *'njvLTB"oM+yn%~w6ӛ&u053 GS Zgb f KZs%$ju)n잆e;,S<5 2A ሒE-rsm` \kZMđFc)26)+ ZJRc2wv'l͍us\| +6L5&3NZ"O\;2"iC8odj ]`K[Gv&V~U%ղl6smqHFMד%h Oő(,\|*1~+,x55! SJ:lR"guEl*v"^G*63˫);NCzY2jNp ;|=0Wb7'P}5L$; 9LIK9Jmͨ[&,4EMFqoJpROãlʻN Di%eC,S\k{sՍJΎ_鄍  gYZ19647c6cae140ef412da6d77be66ac44262306119cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d % Derangements