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 GG.LD S Triangle:threads=2elapsed=5.511cpu=7.084gc=0.104factor=1.297zXZִF!  ]ŗXf1-/6vR[ltb7o- 5v B8V}*ڰ k%8mH0M`F-Ķn8g Iw%`4b {6ju3ies&)ʴQ~6m=#np10nSb) Uo rn*ů>Rq]AqrB)1k}c.<`PpfoZ:-A*Z!~7\]5"Z {&_X+q4g   TriangleYZ7zXZִF! "]ŗXi%HQ꜡ @!ac[M L5RlM_Gh)1Xa#ntv5Pe/U jzD>%p; aY+ꁰ-P;h9iOHmW @]TW &G  _єhTG4|X{ 5O>cծ""[*SC(A I|ʞm0?':x(+zG{Tϑ qjNY֮Ebh%W+`ulWZLOAa@gPno:'\9zŖyyH^h;s{4~Y; wʑxfį%4>]FQt'"R"MA|j[)J˟tj264To+D]6}z*CE0Ku=bvdi"K).'NX8bYnq/8%.k,̱e7u?cdZM6)XW1bpuD4$2Ò~Mqka0ux l& x0r:3GW hr3kb^ q8N uQ1G ,s>.LԵTV5E{gYZ4cd618489b8bbc14bf88f1c4570adf6f7f31f68a 6e7a5b9193039a95135b843abaf5c86ef0fd1e35 70fc6afb834f176b6a869956de07bed1400e27fe c8c0d0f53f45831b0b38684c9c05a79c669745b48c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 42e138dd2055b0a1db4a1f3a058a8966ebf86487