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 WW&' Dt ]/ GPU_Kernel_PL:threads=4elapsed=7.137cpu=13.420gc=0.416factor=1.887zXZִF! >]ŗXiɟH)0%o U ]I[;Eэq5gVm^p~>Ր-poΫqkk#M6=Qg"a||k1G A\SrQ/+ZmCUܔwS㻡Yb>/a7-ƼW+/XȉbH07_TJBZj'$BIMܢs"C].lȳdIWy_?!0$q([(A#_)\&͂MY8⼻poC4km)cl9C9.nEPhØVMA*6Bfkn(mb6^O0!4K Sjc*4+ ! !iGw#7g\h?,pnyKF;!]^Ԏ~@aQ (0ss FLH-~%nŏ4ghCn/S  1 F :\;FT5Gt;Fx=K¶Pϼ4A goP{UX @_=oN=y@80]u>CpgĉxTa'^zuxөYiL<gY8HRأcEL>C5)Ypjå{-v^;-l;!WvbdgYU?xa \gW^ TK2 kkJ2C#'$nn>&;$A e!"J :Iޥ SY Î aޚ0_\n!E/M]Я\JkZM+Kt{/6w6+ԫUPRmwz:ʤޯk`)+vviLv)bf+HS7˭R~#M*/քQf{?ȴCeM{wn brF12Bs5Mp*ܖxN)Gyij[]^{}od}R9xz`:yc63H\GPxL Y^dEH /AE\a9pǹylwFHQRմ4ץ 熶9)[u1 .)E[v~fH[0^$ :`":{~<);p̫v9\whIUpID +:v:pVmk{C[[4>x 玙t &_n~MO jV^.HZ71_w'{@ G B VŨzF)<6ARچi+/~< ԓ'k#.: ;?vXx{pNZ9@]%56}mM }6QgYZ7zXZִF! ]ŗXiɟ1{6{ `pamLRC"(6},n_GBZ0? !3g(l:=4wT^+ jcye.IWXQޤd8^׶| h]NΡY6msK$1bMOjh?DE0iH#R 翉_6<RS LcZe$ Y4蓠/OegYZ7zXZִF! 9t]ŗXi%L!l+d|WAkV\ n<\ n_F$l;fE"8?JbEG[~ {k)'wU,j#9/nz4IUP\a" Пu.ZB PQVi7:84BOY ]nmt%#Fc @=RN4}.٠ fX76xs'=lI`a|IѢIi$'Ė_Ge"G'Q~,޲svOu<7CY8cd=yQP}T0%ӶZtq>Qnm- oT)ZkB$ ⩬>-DM0t`򲘣$~ f 1(%3!amj17!"lzp4LNUt h :M"QԀ8S'o];yyTg.FS:.v' D6DSc%)ȆFjVzh>˨M 4ar͛Q@."|[̉d9 Lhдg2VA^ESG ФvpJ٦5%nhQcm~o%㣠ˬyZLm'^5>3o+aǴ[U)H\߁OgY Oew qm-= /qR z=wSeK(G磙r9Bw'Eavj s)ߣgYZ3cb0ca3ecff7458b4b01aed072c8dc249c606b4a8215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 ' GPU_Kernel_PL