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.823cpu=18.240gc=0.256factor=3.787zXZִF! Tz]ŗXf[& n@W2rlU?P9ѦΜB تD󩗤_<";b݄.`^_҆WiQ#5Wkz gޣAg:dBYWw`2Vΰ ๾O5V݂v{Q0;Gmr\u\k&"t Iԉk# A=pmYD@C zh[qW ~)|vG\H{P%H"i${V8HtcT.6+y5 .Fj]d p? WoQƂ6-cNLSj2UG4 ) O8u ;0uLgYZ7zXZִF! Z]ŗXiɟPaOõEWDwS sL]ZFOL$@҆_-L7op#9ldX€! ovgYZ7zXZִF! /i]ŗXi%Gcř4,btexvHFjuE EqI3>P(+1?z׹F(GHV/i+XFTm:oI*ߨTGjPȝ@dNT^o|IK-~iJ>fj[:2Գ,x zGi8RkؼfFv vx 'etՃڇ9cD (|,ο8Sz\F,1[[,둻WD3;l!GsEz,w=Mzk  Duԩ">NI)-s#8 IvO ҒAD}.3ޯ/F$`P Sx pZ!8?=T,l+ƹD|Jy %-s/%u1ZINX#) H ` 1{{ ő vB:NWA $hEN!x"/قo@;܁/X}.VӨQ'?a@gg9|<_t'ۃC9R\Q!1fS+iR}OC)[݉0Xj߻8h!)>wr2tBkgPphUi&vridz JF0p+Ƭq=<{IƁOkA허'hl(hyep]Vk2 ~_}thʫjcJQ){7,*k>Y֤mۋ)Q$'Ĩ#7qx1z;+,JQs{lֱ+/>rzsIe}LC >ѭګ:c=;cS靮$rW g>8m\73ӎ(5=j s>?y$Qdr b5Q?˫&W/ᬩxvLG)^,9Pp.Ϙ0ZJM#Eɑ36e$f^_gYZ26e6b3f9405ec91bf09cb973dc40e692e44b47781795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 % Latin_Square