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 ]% D\ ]/ Latin_Square:threads=4elapsed=4.965cpu=18.056gc=0.268factor=3.647zXZִF! ]ŗXf[& n@W2rlU?P9ѦΜB تD󩗤_͠J#RbO6&֥np+9?v^KL{8PM288'H]JpqfHrq N's)M֨9V`l۽ 9{V''y]#U@fS $Ͳ{T-^i100}St>&GqLz@-bf)#a?\4.E v6vnh):oe H:^_ƳiSfŏ@i_y=KW1g4;6h@armdS4OQQ/4pU4|gYZ7zXZִF! Z]ŗXiɟPaOõEWDwSC6!ѕ+^/\ cZ =*vgYZ7zXZִF! /y]ŗXi%Eb⬗zl?^`E޶@~"9m7qwӟmDX>˚ΌIGJM5[9 S4[w" g2sZgc>(ߚ^&V+NH9;[q(LTQH\(d5w!L!ۢ楌_X\2dFy m#y$H0{o>F3F>:fhk9mUh; ̪5Җ,y|25WΐM}eR-`9Ek/l3#W}%׻xl]EKKV]aa W[+b'g9QyiRrĪsbǼC=cD8$T؅\LVUVb"]rz9'c]. GrmC*c~ظ/}A&8AUiqa*)CE-5. ;YeߴI D6;|\`H,=hB͉BBĪImw HTI)VZa!Ln5`b6K3ߔ EzV_TܘQ9afh5Y?Ȧi#ߤ76Cp.y?xodB8embH @{*-ޟԦ>>g(m^vZ] wSuRu&z2m^4""u!gom5@gE`&<{i*,vsVMA]E%sp/F)Y+GBے eqP( UA W&2|wy`̋ x& r(}En(" &mnDb%%p#JEύžxqЛ3_Tx :}Φ0eSA%#Sf@N(^ҔÝ[CJyd{|3^ gYZ979fa362de358b94ea754026647cbf785a06efd087d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 % Latin_Square