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 LD S]Lehmer:threads=2elapsed=1.674cpu=2.984gc=0.000factor=1.787zXZִF! `]ŗXf1-/6vRZ=\\ ańǜZXC5_T/F Gw!|=* ºvRJ$@ɼD>*D\Q_0~5-}N=K:un|.ƊL[%ZyC   Lehmerry)dsϰ<~_Xq>LKI MLNa5ikCr=؏&USŪ\Fu&*{TlDЉ#N pCާͱr', f?ݨItgYZ7zXZִF! J]ŗXi%DQ&밊SKOCqS""!Gak$8g>;eaS$a*S@hhd|CYZH r&#xj}6L4C>. S|Xj=}7z l[ 5GI"dWk*H1Nj ,騤Xl),{I$Y E~G,e0+oRK3sK2O o0w,DRڌw@x =krmž?OaJ"Áw3#&ShoAM=z>\kpоIa;z25 |H!8#0UfW}p̍!Ъ?jzs 2 4i_r+~)K[7 aB"~b~lt} c$B