SQLite format 3@ .  YYQ77Atableisabelle_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, "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 E l S/ AVL-Trees:threads=2elapsed=18.476cpu=35.048gc=0.720factor=1.907zXZִF! ]ŗXf1-/6vRZ\2_:oFEQs Q̧3|Ids*k\~S*!ݜaIbLO荔xZ|VEARr}U@2BKV6Jܠ8jC3YG`({׮2#rHS&|/ ?p!@Q^fO6S< T'%) INCI( +jj䔗r (فeR<߰©lսvC/,.n)ЈcՎ(yc'v z77!{4)۰R#@ԨֺedOA%N8I׊2@ @n~r&5R߽d&j8))}8Q^wI%iNz_L^=XL9rvPa Ev)疺c"oYxf/ g K @ sn wog|z@Bxc>s$nűgYZ7zXZִF! `bp]ŗXi%>`k)Y\ N ,W<ƕ`VY ]@jGP@}t6I$>4C 0G9Yj/p)0 kvN] :؉صPAJ꿆`,& svk%p*KiG!X$W,:xht=l[DOT#GߙU5_P%dUg.$/`ۛr@Ej,Ekn{p 3.*w.݂2WVm|⃦Hp@x0bEt vAnj|Bg\n'[ʖX A3E\T>tH+ 51w\sY3@5JDqԆp)pE$uf=W),\Pcj1 nAmSyf܀82e֯A+aB=L#ުs >Y_# %7\K/q?876/֏VAY?ۏbpldhemf%2u+~V+튑kėESj'ϿE -k?Ax9+/H<>c,ٖ漅yƠ٬ u˄8Va;ђbB_$BChl]lU *x