SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 1 4 / Robbins-Conjecture:threads=2elapsed=13.982cpu=21.692gc=0.288factor=1.557zXZִF! <]ŗXf1-/6vR[Opc2 DvcfǏq%^* m+Z6|0Q{Vr@ʪ! g3ݚ"&e߈^̖9˱F>`mЫP6sXW zm 2ht~LԈ_k=@tTpy,4nf5!؀'̩!,( 5Tr; %p,s3?gNp.ly\{TqgB#Þ?͠! aU󜰯PAwJLB6_e[W(hֺYVk߫'$RmhCfZ%:Ou[r 1 Robbins-ConjecturedYI.FȤ jt{UrxSցKQ&MLZVtz ,l脵9-\Ӧ<_Bu byn-ʐ rХ͂㯲do^.uأiP5п u aAj)e1G-/4^˝*/k >-nD&lqk@4.:i5U)i"Wtϑͧ3Jqr6O2 sƫ={~x]U&٫xlldeP#z˯:gyvߡiJb"ד& XFOS3F0Tٌ[!r'5?)凳LmaU~`(Z[/2C8xY.Ąy7v"Lˀp%6~J78-o{YA鄓l39 /.W wQ3xP$qbm5"[WOȆHGpB c/;9 YNM_ZY_4I|J|F|o?4HT@`"j}է4pFj)쩩;g01\o Y),cdٿ*?!"3 nW/KC,y.'8X? O؆$K,ϟG1k|y#<d&+ }6jA#So(.CHgYHg]kWj=R_%>3OAljN0E;լFvgPNlFb_ۆ&ݕ2ijp VZ%?%7 5N6\]E70 Y`sO"TN` M«6l=.*-en-Nzp4 WȲW$YE\S? w}S8+/>E4?RdrL2(<ڜ~?"AzaQƦT9øHf6 qi)3+0@O#z7p:GBVZ$5kٖڰf`WbbLB}J{Fu, nAMзD%sh n$zJFm")5nXGtЬjwssa ݯxf+DkoX柰Ȗݚh[)gYZ179e0a1bc6ef3dcc4446268cf7795880b0a5e961 2e26b1e29a3471e73b9ec5a949894753324031b3 a1d6778ea1c69fccd623f08d8e6ef267979593658c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07