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 --P# $ ]w Minimal_SSA:threads=4elapsed=5.856cpu=17.056gc=0.184factor=2.917zXZִF! H]ŗXf[&M_4(dWW7j}lM:OGϔ|%ݔ5rdp_?BY xLl5=q5[0h|ancϰA*RM.=}1ݷue sV _]{eRޑ/M szc6Ihu_ Y7' HZ>sXoMƚ t;Q^QOHok~L?z'ħH2\|Q∘ù2u_trLv|Wmzm7&&KH+*5F_evW:oJ6e4)# ESmW(gYZ7zXZִF! K::name=Minimal_SSA.Irreducibleelapsed=1.084cpu=2.716gc=0.0008 , dL3}^}YZ7zXZִF! 4 ]ŗXi%ES3Sm{چ')RAݠjdIÛц:9"O#y|P lO[*x#T;@m#>@Rʪόޜ4R reBEUrX_k JeM|\7]Q\ИE/pXߍcS"QnІn ! vB5JҰ<w/?)892p%WTwR9O˧v?p}&w2'NQEB㓱pԻ"i+gnp}FPԶ)6QҪy_m<! 0:0KqooXN,S<#Pv@Օ S|7j*4U"Vg+k)@͌>%-`ȇm;?)z +ᱡ6Q+!J鰶/gfr/rM9Gi0pPdk'j!\9ϊ-Nܢ.!Qʡ[#W >vOyw/L'5