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 ==8'd SS]Lazy-Lists-II:threads=2elapsed=3.007cpu=4.136gc=0.256factor=1.387zXZִF! 'u*]ŗXf1-/6vRZǽlK[k.$TB8JN?8Ɍz'Ue%9$8SI\ܞGx "Jipbѻۗ ņ t"JUd=ݿH 8`}[$z㵿X %S-"lrPbbufeJzr:-2bˀ2A U~&^xcqeRa[v+`tF <ċ*XV3;RzKl_5'ÁMYC\G۸b @3%)RzNnLj_ ٴFZd<؃:*>C9$oKJ R3E[%ۘڢ4zxG(B6)qE8Fn 2W$x6(I0JHb~UNNe5R ' Lazy-Lists-IIgYZ7zXZִF! C]ŗXi%zxH%?cTP2ere"hz/{ zᰴ}c2 VDfxg*'=,2r?dW/D.?#!@ew3s} 5Iy7#%pέ.,JXTDGYK2֦e^־B@ 2r`pq$횾~5fE!h,=N#W2m,|+)oIq B&ś/$[4ZX`Y*u*"Z .18* 3KC4vb-r2hfD;͇%q ,vBҡ9K;<ܴnhp}!݇gEY!-GQGqjh{3/^a4o@Vo$={MR6_J{ aZ*U.{ݶ&*DtN5=gH/ހO=!Jz+1 Aݴ5 7OާYKH~7+33^ӱgYZ7bfdf5ca69422decd4ad50f7254a4ef86e92218f 98bf004bc849e9bdb1288cb3aea04b7c22192cc2 a9c7958a47cf8d9e7bc8af7dc9cfa6aeee0d6667 e594d0302fc73b9c2525c4f236e433916a8632f0c27a9b4598ca656eb9c36aba33ff1f22941d7b72 64354e2142aad138813a04882ec6c2904dd4a4d3 bfd5848bacf97a9fb8952263c4037fd55861f6b4 90ce5607bc2c2a2173474e9f36c43a07d17fd1baea2ae26d7eddc875f9b47356e59c5ef4970f9482