SQLite format 3@ . BBh77otableisabelle_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 L# lL ]w Minimal_SSA:threads=2elapsed=8.212cpu=15.216gc=0.396factor=1.857zXZִF! <-]ŗXf1-/6vR[ mY[aCq+c=ޒuD"5,fN^^2}J2@(K&EtB&a+S;]RN%z5ͩbڌ˭p?G|]$~k٧ {$ `f3!W5hs~.wFzl/^)!+ XAp(=HT1cӼWsaA!Mmu* G`Ο[X\l |KXӒСK6~~E 6"މaO&UJ 1F yƇOIVD낱?cl@!|k,8*]ҷ-baRacŨ`#A?7W޻ED?KA&fi%CM!U 1{ Hc2^EmƵ;1]_.6*|LV`|Whc h3蚡Zq%Aa :=-?+քL5ZMU>7 e$1ɳ$8Ph,)im d._!"mVb| E4ٝbB,h=$y5q"9[.uCD:RQB{G}"mXx5e\tUIh]#'qۯָ4ߢpȔgYZ1efb10d63c1b22046716f2a7073dccf070533e7802339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951 130d7766f61f85ab680b77d9e1b75db9624ff6c1 53daab3c27d74ab804fe66165d8e0b77c19f242e 437ddcc08eba247b0e5f27e85e3641929ad271c0 0ebb2723f0dffef84f48140e7d97d965bd3b1988 # Minimal_SSA