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 FF7 <\ ]/]HOLCF:threads=6elapsed=12.824cpu=40.952gc=2.872factor=3.197zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0Q,k! Ps9@h1<:L\uk̭C \piGMx5ix,dTyt=8thHID ׿N](r3a $.8U%9@Eۏ1 ,[$ixh=,Q+ GN3@G.߷BG%zP`=ԣ |RNݤt}x*Xzb}Xw#om9{G\X<Ծ y>4eVj3yq'qrғMA4)"6!ɛgYZ7zXZִF! W]ŗXiɟ>Ӈɇ9S2]k1{ai_)󴘗;@>FI =aAppۭw6g-;dR-e_K5VD~l ? ] ׌#߯W/$0/繿$ ޾ā[hQ#ƳbSWuճaPϓ+IR`$&sAA+jn;fjm50^xl TvϨl@-P:11ZR W+ԶU3$ٟm8 jO8&)N )VHGM'^0KNj noH;9YMqj'~g>p(s'eL^XĝdXȧd@״pD#1é@H" NM7/SFIԤoMN.A7N+??ǘc:6}QEp\bC֩vNK2|ٹ[+c%MS`sUyU RYW<8mۖER6B~> NbrY^,N>H~̤&bѱgYZ7zXZִF! E]ŗXi%JxG-QEiEqԻ 9|6}aۨZ@檊KIAT9U =Y币#>H| 'mk*S'KKs3{ *.:V8K5a7_WF\Eniu*/AdZF^BoLr"P8ap? :,xEOZ0O:}K۟@5[ =?mXߩaBfs_2X[cݡdʃy5GQ?zy1ORPQcO넭ՙ~x>,g_qqWjT$^D;tIgU!)ՔXZϾyDTx>{Utܱg/#@}r{9)R4sJLq@nM(l@圏jЗ% hbQɶn#|k,'yrgb9Iy:[ T[[vC0))W`^q[5 _|o|I E{T %J56W2 f LUY]\LۨFrk8n*,َKz![Kw>@ Gp!} fsiݾUq+k$Hbы ^<puxY_v1ϴ/*hxdjr'a1]\ = F8)I'݈ /}sg#Vϧ:xN[u(Yc,ƚ4g+s,[JVR Zo/ E-w&ze V̼qcJ;h:Ȭ3IۺSx0iǶk2FпIgAJ Ƈ =3;Iۃ epyH%WV{9H-9;$͓8C?3u9*niENtZ_3?}ɀ+ƦݶfeU?wI mV1ur`_dyRlܷ\e:K:SXD2,6DD]ο&$xc<; ,kƍFe|SLk篋%b  +4ePuOf