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 1 4$D ]/ JiveDataStoreModel:threads=2elapsed=13.131cpu=22.544gc=1.100factor=1.727zXZִF! ]ŗXf1-/6vRZQs!L/5RLIJϾ[i{$!;R~f{fCThɩ;A,5 nIs|tZ LdϙBJ g'UI}К*򘙞"\-bD7M?CL'~8!* hVңt L\J5S6;s'4{T@ك"~`.:.ɣ <1v0ữ>Lg<%S>&ܢ{ZP& Ɩok~xdcAGt/쾋5 hlàfhW#//,散['16[/;¹."6.\TX@wjgYZ7zXZִF!  ]ŗXiɟN$s2a§2M:J1!J4ʗ R^ִZ/x0}֣t50}2k@lsoa ~ c.?́l=QЌKmUM9N@$&BiŦqØs&!TWo0" `۾~w۾ǫ&@ߞ}`nʫB΀Y-:bl-( ygwZ "u5`hLg|J 1@޸K=2iЌrAOg,n4@1$ 8`7AuANͅ7'ǫq0FJmJ<6ưO}hjUH}06(˭?+\KfCZ&U\}E@Y(IqPT1N.е w40lN/gxЌ{&z+zqZCH(vbJM_GC"K#o.գ'V3E: ٷ`Z:]*  ݵu6y"S`L>41%vŗRk%-ǧkrxV'5K 8ȷA #&Wa+J~Fr-.s0ȇO2FD+/>ţ8e@t`τPO3;E^ |r!^ϦTqM 6RDuNOU{]gڄފLI^4 C؀2v.*fp0AW#?ջ*!ua% o:#׭4f34>B>IPSGS{`~yX9Zy:#>9U*zVWj ,BTa&z>Vúȶl >iԶh]ZeYYC6]e9%SH:&;k sK7Iu05q]Jww nEmYECףڸhm>=&EDF SQ gYZf0c0eaa1cf0d35736da801e2729c48c8e52522ac665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 1 JiveDataStoreModel