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 ]% |<| ]/ Latin_Square:threads=4elapsed=4.994cpu=17.620gc=0.160factor=3.537zXZִF! v]ŗXf[& n@W2rlU?P9ѦΜB تD󩗤_@{c(x:wh.]OŰ4ܱ?dNaui *D.@na1:K> pGY'% m_, |3|2y vJǛU|fi˩qyEmuJǰunx1zhQ`8@ƷU"/%PN04Al<g!tb3:Dp,ˑ*Ckdp9oZb9%x}7cndTW՝TT%詯-~2uBLST&`3('rOgYZ7zXZִF! X]ŗXiɟPaOõEWDwSCַBKvG 73m KCc W_V9`D1dp~2pWt}ϱgYZ7zXZִF! /S]ŗXi%ES3ǜMV Uy/CYdtc/14d"Y"y^}BfsP\vŲ*G}$@@nZQbLBhQkkjNjזk0D>!}.Goqw(8]VgS`k墨z &¸ok"['봓"P\N^G)? !6kH|`҆Ě^Ρ`ч!M:Ԍ}ru,u0]aXDW6sSH;Zeѳ,-(־ ;ǡjs: Jby)NHVR;pC`Fn<~~$QZZGDR̗4s7l‡[nV֤*wZXZec&@Uz~DKͩ ƴQfqGpLiA<|lnd~C旽 _O8͞t{2$hq5*w/A)<l=fYcp>h85Yz>dq&^402."$?!4*~f,Ǻ,S^ȡq!~|*]/g-{a=|Zj>[#Ò#pb)G$n2j%s׮Oob~[Љdϟ[:8^\. z0>Tw.ɹZFGc8ռa+KEs"|;pJ%Pķ=l(<EP}ExŮ"Ꙣ'ưe(IgL4L>?B;c}i*!00e i }] L(n4*AX}Q1CVإuL +(&Կq^5{ 54'DHv.'R͕/{jY?6<_*X^çgYZ1bbb77c13c3dd1c6502c661c4f64729a959003db76b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 % Latin_Square