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 r# |DL ] Integration:threads=2elapsed=11.185cpu=21.116gc=0.724factor=1.897zXZִF!  ]ŗXf1-/6vRZVVAߌ4YNAF] Z pݿu~O$I^͠7/P^ R(92'楴Mh-%"K- r& ڑ<3iU×-+ k}x@֯gM:`1)k}ܤ@T,0)f/oTQ/,a=1.74sO-Zph qr6M|0精Z&6PĮY.4V%'bv61}0YPn[ 'z͵)0keL NA99 6&e4 ˶2φpXVl_(L84k!~EvURHnI$ 03wh#m$t C5)U)Ugt`>*i?a M0m=+k+~ь- 芕r&8,#Q |x ܣ޵:T;t@犨SAcO:F~~7%sT)q/h4#;(q% ՘Ԅ>V}U6wJnh|V+;~ǴJSq"%g).Y $F^Jи᰿o@@nӣs n\,Ye*FBQF%gy7 5d5%g2R"Uяzepˈ7_+2ǑQ`y+gYZ98d8210b24288766474ce5f753a8e0ad3631523ad6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615 e9df4ac96aaa27df45a4820e2370310fd3189a3e # Integration