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 zz{' %/ HOL-Proofs-ex:threads=2elapsed=1.346cpu=2.416gc=0.000factor=1.797zXZִF! ]ŗ ' HOL-Proofs-exXf1-q恈Cl68V< {#ke0Vt1B `?L\ٰ$~ؒ]>HkY ~]tF%}Pwo`Qbl耹pZAy풲w*7E`\rUDJ@KU֜5BjW$גXI#A=fAG2:WAW{EtM]!]h|Әr&99kgPwuDk9D \ +cgYZ7zXZִF! ']ŗXi%Cߗ OdvO[ 5*39uULBbf!S[٤h$󈡰Oftug6ѝh{< _Z\99^d*!7A-̦t_# NM)*xFi^2$Adz6OSs>y v7ݮ O{&ڔOtI8hG֍H2(3gdY1)9%57MC^ ?ݏ&sX ʍX\GgYZ0968089760f349910671eac0a954fb5ca15b2a9c 2b5be0f523e6ddb71d4106b0472be8507694462a 9e7e08378f5831bbe94dbb2be763fed4e356bf71 c8914473932544077e1e2bffaba559fcb7c2caa2 daba3972be164dfa9dd9d52f7c9d32b58d67a5f4014fdf73a0b928fde39c061b3b448884e65fa152 840726e15014c89ac34ddaf49ebf434ac663b933