SQLite format 3@ .0:  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 y |, ]/]UPF:threads=4elapsed=24.280cpu=74.060gc=2.196factor=3.057zXZִF! u]ŗXf[&:sFqX`xPׇ!9Un06N@M6\ggHx'$%iBDzBNɭ5dvqkq)*taMPT$9tL6[lo59zI2XFmY^U'Y+Ȍ-ULJ,6/Hhdڌ_HgF=Hڂ=.r.)_ҥ1@4twk]t9`{;I౩gCJ{%eM5 2gݩ&]E5w< m?׫T=u2-`N Tdm}pp  UPF  #&_`ˢ#!H*1C7Kn'-r KXHbQpfntv5ݜ`tvElBy+mĐ0<@LxnLG'1n^eJ-VU#*GrkHjw%@J9*eAO5`Z T'Pp=~9sb';+ & h~}-Z}8i 7(e[LM^@ c0ɌMsƚm4}Qj\tS׫ı 1qi !HǼ!Bz`Å\OkFY4Ox>mL,_Gdqn1{3=f B/Fץہι4ʖv z-QPhX\>⚋ )x-RiM1rY@pVC9/CKJL2S  2wQXS^"2 9aÝ|3xЭJI9Tm"ygYZ7zXZִF! ]ŗXiɟܤ#k0{/!sYgݙӰ%yj@J'Ve#^[\ЌjAs+mykԴ3tƪg[bP#o\$t36 Al=>_2h%k?O"*,8pQHo+y_EI*oD$k`Әћ}Y,i mۙ6[UGX=+9 PI8<{ 321gYZ7zXZִF! थ ]ŗXi%B:fR]5جުYAmF ) Rg94J"Pؾ~(6 Z8[+f0|Ubw#?1y&,`Լ! <Sy/`4HN*$pئ7eR}mHeB1?]|J 3Nh# Iͨxz29s 1,P*OGl aEp' 7 ޭ3`>b穂{s0sfm/+/K|,iĪX |ZTW d&ߊ /4s1询N'S#=DB+zdةx:1Dp.Un"9ʗtf@2B6/I"c4~cji9(IZm0XZG꣣R2yD9gV2Y^YL/>`a<`(!u`R IX̔0~S#hg>,Bb>_1޶W?3X TG(-?/ W6Fm_kRQ%elxdFkHYOs]5 A%dTM%V'IlOn& d0A?eOAx~g(d8"*ͽIķmt}ܗfPLGq+vp\F4D`+C-A˕&e5>-7Qe?%/=gZa)jI ̀W2UaxJ/DuMC7PtGPݚ'": Mw4Q 1= )H #\j6RCP.'VPNVQ0$Y|tQ2f*XQP"Xn!jƾ$,WH7; H՚Cbj~Uq" ,9>Xr7$Vk>#3ch+ծPܦj) É-E˵> J;@bdzsV`Lv274f=gǹI1]JxKWCK\'bd^p".#!M >.uT qkl qa'uĽ(9_3-%g|+oGHu; 62ԕa&x$Һ<B щu)0_Wsb|`/ kw!`9B^"uxnTƳ572QhNB2X2齦UC^|-h7YULʒ C+| ;ߪ׷N d26ȳǻnT0XMە !ڇ􉋔_De)vQhUnxX:IPwI62z_c82b,+&hSq>eh`plOE2{jTr'kJw'G1ə?L*׽/*hv;gTQS7B9qI8;|NSRw!)szQYQIZԶfw#ϰbM@ecv_55uzoJ.yGƀ"a5Q>,}\"Tvb ,e:MzEA׶Ȭ_ YL}(