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 ||'rL, ]/ GPU_Kernel_PL:threads=4elapsed=7.737cpu=13.600gc=0.3767zXZִF! <(]ŗXiɟH)0%o;*vC<'æf@9|)`cpI5/=U!po"~Kk9̲%ax7ρJR,#jB9k[Ļ.nW;+ Uʇ,J}mDNrMb#c-؆C9Ȍ^ 3|ܠT?v^7$$5=ǘ}d%el *ص,.oO|>\A[MjYDUsZwђ7cǣ%Ғa7kp VBʣy'}q$ Ƕ~\;{՛3noáOcO+n rY7t4MM fC[>v0RԄcd@r{Ve>χOLh\=Lp{R B1joa0 4)a%# hkcM 6UFߞ 0`o'2"-OiwrA6ןsFYG;lL+¶3iКYҦ4-p| eqWUgޙoСxaFH~_!*}ٕ|} 5'j"A)SU4ZonU|pm}ϙm_yM;TYu8^>y5,qP&Va7=6 VWV`q |A0\]Ao=ذ*qc.}ExHXRaV bgeFY' (7;;*/|u9O8ԩuZHK?ވ6!#F9vKǘkMVC'6 +QMMGR2.l/@D }lU۫sMHR*u]]`swtr}"$3( P٥0j(Nj,=TmnJKC4+zbg/}lS͚Z- XgG,;k@$>s-waH< &VeQN6,¯;j{JJCO?P:~L 1A1.qǑ c3P/{`nM;3tmܗ>d,Aъw b{KG)1껙9SO{9_A"?GE4{Q*k9'B:*{sp#ʉC6Р>#L'Heu hXѼ-şs`b,j94\ZKT,|ƔT\'e+J0>>=뢳Jq,PDˌ N ۝:5glH\수* 9D7{9Ag,\1Z8./u++/.'3 u,p+WdL| R'5Ȕʝ0 %Bu؋cf )(2lHx<;S645g3>6YUdKŤ̾%㒾č.ǣMW-dh@tж؞ܑq2췐sps7aP4^; f_;%Ռh}uxt] W KھdycX6u%#ܓ2JoC؋pu\BE9/H* m?MY#- X5ui^%h3޻_r6T`@2}aeOaO <1fL XFg쨦Z(7Sa4P<ϑثSp< TZGf 58S.Z@绿[S7$/vj ˳KwI%9h!=8_Kdv2ǁu'' hWav֚( 322HrvMRt,`^FZuMsQ٤M؄c7>rNBd ų*HLk+fqbBzWHwt_濅#1z ,n4~"‰6sZ*]-dJ"[YNf c>Z(gYZ5534cc5239d84ff3e95084beff0d93cdcac4a08f9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 ' GPU_Kernel_PL