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 __ <| ]]]ZF:threads=6elapsed=12.821cpu=45.996gc=3.540factor=3.597zXZִF! O]ŗXf1-) enȈA$jB80l,v8-qFN}v37:8>X*U KsSgX["]&1ߤr>[X>"!SunL T72Y7s} #&t@k\47J (cQƶ̧1e"u| 9U( NJjMXo]8<]3CDX_bkN3zΪsCG]Gg =Jqog(S1>lGKq=T5(s=Cş0S gYZ7zXZִF! C]ŗXiɟ 1FE`穵+&*=xc|b ΰx+l;(j~YN?W#E[I(hwQ,(坳Ewc~ ǩnI]z]DUeOZx~-m GK&y-h+o[_A<κbxx]t&Q-0^fsDBߞ$+Z*%a0hj5KnaN QR`gb?r;r7mgp~egrh/l#=6'QBt8Iۈ!cۣ^=CV5]o7ef(V%, "sS  =>]9V[RS4YъX|ˊő%X+B LrĬhXJj_\rTiw(_,Rd׶5t/eЏxg `Q*1Wyr+2N$2-\zb oouXȱYgEP,(]4Z*8*q5]ŗXi%>;nb(ﻈc#c=)hsPi Nu7Inr,@E^\ 'Tg\ :ye%lE>S8eS\SGmMÍ4{s96ӹR3-Y7PkQc|Å6KJL(zY]FlG|=`a01.6DŽIh~IUD4j4fMN1M by1ɍea$?|a񯆒f,0 ZZ}f:#z#hGBHdz[u4ì{ 鏯Fi}4PmQkLSvfkFH'}CL}]ߥ cReLl/WVѨI'lWߟd^}k[ wA+rvsP)7Fi1+Sb,O:IlXJ.KzO|fP=whWN^ݬ n v{GKutqRlZIAN'4W bꎣ0V kr^f;dFz k>dxg#dڇNx2 ~tg"cDK}gnRȽ]`L%ܗ-OlRK+A=ꮮ*g\ @TfuVnB~\"J}EḲFF{j+嗁4O,1U! Ǟ\U11, .7Y'lx-:o,@r?ح }N }^$gYZ1776e3946950ca820d962bcfeb2ee06041b8e2a9ac8f8db169a1aed7390bac47335c1f3fb99f78e5ca2cbe6aa591f864ea080a6216b15f9ad55accd8  ZF