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 R | ]]]ZF:threads=6elapsed=12.671cpu=45.752gc=3.208factor=3.617zXZִF! x]ŗXf1-) enȈA$jB80l,v8-qFN}z1٥G_ck|dxUֺLz%FjVų:xC& q-مX87q8g&_.nWIj9[1<'0|TPK_"l}*(֫tB#mO&]%,JI>RW}K]\޸l"Xs%$A#'ߚ)&oo_:E<δ! 0-Rt`lG06*#ώtfݫN6]z l|8UcؒgE1;-DX4-26v1fȔѤuHKuqңad2b6 o9I@)Sa>w~} Pk,b$tJǒ|ZS= n>L:M\2c$ʾTiN.(Ad>%z0 pD c7O%C3*%!u[.|JZ֨W8^[~gs4KE{e5Q?-lL^fX(&ԱgYZ7zXZִF! F]ŗXiɟ 1FE`穵(yNM(CTt۴P@ϷAP20Oa9*ò(\PX>OOۺ8[_h'Qt(HnˤïNH){kx3&(M!AGqǧZwG:/?aLGX#7n;ݖa_Yeِ<GC_@VZ҇u~~Kf MON aA@<@&p↑.p+d2~T$).1i6`&Y٨b}ޟuh^䷾ h /X푷Oۊ-h4Y9VyvE0}ڃiCvGaTNtJU6b&Y P@ z湚nI 7Z|35ΦaXYF7!#˂Ku|d|5>BJTB"aO<1r%;韴]aQF.Ԃ6afo禉8˷#@)+\Q1%PS̃uȉf!%dABTZ>o\⸪.(:pEbA~/c mG3b:a\ ޖR#~8Xٯ%ZƩ5BY5ζ:qS#$H$KE.U.Iu.LΛa6YMe e2eaܦAч-Ige$Ϟ`1K@bo=.VS+HӇwjAɖ][% V^h-Ь#>wH[WdFH>F-vҀ?D*(gvDtR$ VPiikZ3)}v峱O[.m6 MKүG{w"pr*Ap0$h"E +7J2=F@Swi%-"Ȳ'^EIqn/m)NľT_(_{o \"Z(@7ΔZ ?v3{efit ֙PvN4" Q)Ň񒇪AbjnrLblm+0zΦY1@PND~#$cFVv,:;#߀9)mi蜢H@C,is0+WcXd1.$O,${>>|鼐V36#Xኬ'iJxrVR9>n}Hmih ,aiFAێƥ0C:.F׽I\1laUQ/oCvYT1_3nA~%tICn5KB~ xSgYZe56e9310ac6dbf46f14c172520170472dee5eebc94b8e49d0043e944a495f19c32608cf5b0a49aab8601306875f53ef2201c761583f084683fa8f9cc  ZF