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  /D ]S Liouville_Numbers:threads=2elapsed=2.207cpu=3.544gc=0.092factor=1.617zXZִF! ]ŗXf1-/6vRZ̶l7d[(o h+0{]&!ޠSѫZ5|&!ٛո( *$9DEt@b _9o[ՠd>l&ugYZ7zXZִF! Y]ŗXiɟ N(#Robq#![FRx 3Dܛ#KPOAmc cbO.kRAOu!gYZ7zXZִF! 9]ŗXi%;уx "Tn .\|D:E@V$eMn]0. @b0-ҵu-z7wtN~z`{!-޲jR(_=nL 37tC^jcM '#eB#$<WQK{vbyY[!qW,a(es3 E`x No 4ϤВ}@9wH`6DsΞ Xߪd'Ö91brs҂.]eܶů 7Mya3ļAC+V- g,.%4gfpJE6MZә[>0)Q!]cxNG-܈cYZ"4Y4G-eA2DQB$$F'?dq'Zӽv>yp/uNLy\Cϰ7DLPN/sv>^LA5kDɦrPwYB1J( (vR5]EjHbَҼXڋS$dF# B4YߣQP9UIMS8 gYZ3aebc03d23ff1727576d1a5552190a4b3fd11dd879d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 b00b49c8ed70ed453ef127711e671cb988aa3069 8d5164e5d73c9776ac23d9ac7921c2466aa7b653 / Liouville_Numbers