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 ##Z7 ,t ]% HOL-Quotient_Examples:threads=6elapsed=27.396cpu=44.508gc=3.004factor=1.627zXZִF! ]ŗXf1-q恈N/|p~p%++"yqL^ ?DS^  SBr~'\9Â3{<}ۚU plS_ÈAkmҵB*vM=xR; Z.T#q32zm&s m8ߗFn~ @s}:_&H-TJyse[|D=O*c)LeO ŮZ80d\9=546HBq q tZEo(O":XWA3k 6%mvY$Gm|3KϞ{Sc>;" qGh]sr l+#ҙ8t墆y02{7D IqbgX.]@!mwVp˷{ct3gYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙XF6 Ήg[4笠*wkE3/߳_"3jټN9ҔظtHZ"f_$4Af˶5u)ḇpE9'%Ǚ%0?sRpe sRV=OrKWғ+#\\c/e휞Iu7N ܁r S@J /.~Naד!`gYZ7zXZִF! ]ŗXi%AY_syp 6͸̀ՠ\U1<2 KKq> jP^"I ֛48t-)x expaz:Yx-5t-f#+ן!0/K&.㪁-0$o}X:P/694~iVVX6 <̽f'(<(WM*\P12jKq"*&JXNӛVk5؂!jy7p#Hˠ Q׹VBBe] *l!sۇh(پ!zd([JOt.읪TF"'I6({lG޶;G LR4ʹ~ƍx%k_扨U:elS@NHڰQ>[{Uy-7QWS3fK,? 7YQ2y;H ANr4×&*.8IOE>= #>l@TGX)X\l]L7ɞcAzt> !:mJ8kzR_#lک@kWoa6K|0k[s&?K/B# 'XIЙZ`BK3rK)\X -z;䋾/V܇uŒ@h{K>W8D]nw`^V5?Fy4c6sa[i+Yo|o{%:U}$i4S~@jE!Og'nj,Bp֌:8YB 2PaXOzdW$*#Jzq)Z(oW]-q)s3U3 6pMpƊ#;פ'Nv}".gV::Nu?ZAddr4ޅ;~mih,CX}=E:7qlCٿPuhʖMC(DXQx3| \