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 77F DDd ]S IOA-NTP:threads=4elapsed=6.312cpu=14.872gc=0.276factor=2.367zXZִF! Z]ŗXf1-qN50^ Wy<#HIA%a?dO jI(t#TA_6O~uL1~ȳ+_i MlRgmOvq^󌉈,8Ò86 Rg'bYMa˶Csx ţ=_AKif Û[481=} ,*u\c$U5/CW;MEmc2ܽ@yq!ëC9i_>m^<Օaj5 ddG{f#WjT"8ZDU5(Yt2бgYZ7zXZִF! ]ŗXiɟdN@mP$UFr1,I3buz#I )Ð4gA¶F,u>GLRg>@JXz:9/K\(" a6gp|lM%6|^L%#i!΁ߝ`';#V=1 "EAr%!D_7ȃT17Ir6>gYZ7zXZִF! #]ŗXi%ES3YϴT0qgk% 6CNL+?U!ױsl4 nϬ󲩿܎Ȫ6P]e^sK乞@G끡 #Nc018gIw,3X(7'u%R•{k|ddۊDZU X*"x`Ը=8"UC{ר -3]RƟb^:mal-t_G51"'rRB}x3̦F'& q׎IuK2ԐEм"b;|ud+?Ș'=vt~\D.~a [w+h;D! CfEb`W}F۔e<6iܠ UW] %uuP,B NTJ:ۄM\{=;0[*ݔr^3 lmSb ߗy$v؂VL0}-_d0g#])7?/6x]? l'-]z.R]Y罯5cS>*;LȢO2=\"VgV}MRӲKĿP47?t:bG ?^3Ox@пASyȆ jHVCANDs;U7P{d*MOIEн;xQ] 4~g=.e$ Z>@3}tq 4 ^/;];iGgYZee5a4df28f51882fb1ceeee06e2e7b848ae515b476b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 35accf6e077c003b02b1e81efec5bcac0026aac6 58d27963dfc7876516ec55946191a2dacda4c583   IOA-NTP