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 __' LT ]/ GPU_Kernel_PL:threads=2elapsed=7.771cpu=12.592gc=0.656factor=1.627zXZִF! ]ŗXf1-/6vRZYevta9"z`Xe냂EZ?"< Rڿ$ SvSʼ19ny\buUIkU Ή3O>{-q! 3 + (DTZz?Es>fDS 8BVqPh9y L )D'g42p 1Da} +9;H23U^ y$ᮏ;{T~UO[Kܹ? ܃:Z) Rx?l+&m1zMGJDƄs·)\g",gPIok#ȰL#E|ؠ IC|ŧ*_?oՇoB6LEgEͣƖ)QZP.4gYZ7zXZִF! ]ŗXiɟ1{6{ `pamLRC"(6},ȰE; Z6־ϊ<&#;F 덫Kn2Vιax1> =cB*#!dϾEZ\(*vuVWȪwZgbJtݾFUj>fb/] "ɱC+a\bX<݃)xeχ@6>͢=\eqgYZ7zXZִF! 4]ŗXi%;CxfWzo=+0gAh=E0׽UK" ]F]ը1{Y'C4)o-m1\"0$e▩S +9~%T v=]h+Ktt ր ]e.HcfLair'oa B4'f/,2"ĀD? eH7>K'!0s+ڋ qJ`S0(}[FydwW@FH*骵\.&T<*|>M)sR$W+޷isݠٙsŐ rƜgZeO'eeo&dW@{N\6 \E͓I9] Nh; ]2QL6̝ӄ] \S 6>k=kU,TMdIdLwu+C9Δq|ό 6 rX% Ѹ6>zZ$*FGc5v' z{b,w5.o+j¦xh ]呩Ng 7^7JxOqV X=iWŚE?ld>}q@IY&n,B_&Ɨy}+&*ava~'6#=&tGp=$Y5J5+-,xH,~^N{~Gмe\{wpFε,f(틃dE5 *#DyЮyGD{uGhڏ)ȑt:0ۣpw#$Q!pS`x/bM`eB增Yg"Ti61vhj[s/G꿀 a٩)xcm'IkjB8nIR/2|*id4]gYZb3f6c2d87ab11d49f4aa1ab7e18011b17ab2f081a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 ' GPU_Kernel_PL