SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  # Tt Sw Minimal_SSA:threads=2elapsed=9.071cpu=17.300gc=0.360factor=1.917zXZִF! /]ŗXf1-/6vR[ mY[aCq+c=ޒuD"5,fN^ǍrOR oe˒Q5)6B㨞S!p'A] [ԂX7-JPʁ>BvbnZVY[)֤3M8BL,C&-Zw.}!޼f7!`: t\18 rxL{{bRuۅ+sT)(@t;ن̻* @CVNO%=F \?ɀr8S2;=s R#b3EV9*3W D%(E;{ZX)*ה!7O꽯/"v`QFcj訾OG)3wrZ7+^SǓ쇗Tj;Zf8F,I/Z淅?@&CA4\Ώ}OM(1Wbph._hjmy09;p7Qe3 E`x LpZa#q%m[>em_x )Bc+-7coh?h#,ipq$H2{b `bQpEOE)Ҷ􏼁L_b۫[-=eW>s n7.>I/Rd<4^E1"Ge1D)>^ӿnd@㮱̑Ga츉€,C?ĝ0>N-%U(zdFЛǰ>۹ֆ%ʈFZAtsæVYC ={)|g,B/* u&$p0[(8ΖFϦF!)1m x^ ܂#'既rtVFe0DfKZ <=J*Hpqhd-%:u.wKzo0FFN8.1 t~izyFpNn7):i0I lC^qgYZ7zXZִF! 6]ŗXi%n8ܡϲ3b \$,ssy)8r{[xֲuٳ)ɨ5v@s9YDJkPPXK,iR*B@?3ƣ#=>+:H𓻊 Vm45>0tXua*E@wgBU3h2&Ő-&?!xИx"ΡunSۇM & }-Z?k-MU* ܿh Vy |#vY}Ryq)e%;z1T}39bd(@]X8f;zc/meT>`3Gצʜ(m;K;{0ԜoimI5mn\mo(t<*)m^Wj~"ʈ,THQu=8J,MgS"h:ZRkcSﰎ+TSJ/ΏExDqFb*>L}6^7ևl~a/Eɇy"d08s&Xc8Cդ)?²H` kvSW$$ rXM*>K{:56_I#\}.ƹwZh ~[$9:8qڈpιݕu"wl U:OkbS!x{8~tMqi œ/#'e3u}FKGw?"٥hӻS<5NZ5vh͐y Ӥ >a{\,RnlNgYZ71a7fce19a7969a3ae045d5581d29bf46b3a4662 724b25b25f85031217c1ebf4946fa63091f7a44a a1208b8e2fca3865bb7ee8052106beead86e65dc bdc9ce00e49076cf860d0c4a37b3ab7e4f741374c7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 b2d312af0499899efd129dfac8d55e9618d67906 008e680231f8175e0a1899cd5e9ca8f1a90003b2 52a3dec85af4a3c9a2602535a223636188fc5f02 dad8ad9443699bbf2755fef383614f8b15238f48 # Minimal_SSA