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 5t  Free-Boolean-Algebra:threads=2elapsed=1.123cpu=1.840gc=0.000factor=1.647zXZִF! ns]ŗXf1-/6vRZR@:>SyR+HwcLYE݉^2 }202>|9L!æ"'(}6ĕ4t;?4ÆDxdfPNA+W ^՚r]mp 5 Free-Boolean-Algebraø̚eg{| '4Bя<*p2 esekxoҿ 'Ň,>LP ?? ي. 5ppxQ[[>ACGNZW8\  g}9 u#IaՈ ' X,0'Hϭ<9cXcGS}XL߀?)!~z3gYZ7zXZִF! ]ŗXi%H-7zĈ>q?6!lZbQ&V;+T_٫mH]bE>g ):NM0&R}E`Ní:xEXAG뢢8Y_:|8t9cZxݯX QYzK)|Chu"ųQĥqc]@8Ӊ糑? /ÑW5lQ̞tV0A7a :kU0Wp a>h$VAf]whtmsp͜XB;/G=o!.-mJ2 PܚR7F)9? <͝'__M2֕P(ky[|^:)O{^QL^p CvmBm)`>}-7Ρ;(9vG2~pPpF=OVM}#Dڟ1*ixa ǃ sgYZ604e0cfa691479812da4652aff7aee1c24f64a3e e79a50293a173d35c3f5bd1ae1071e4a6f757ac4 ee7f67872e9c58a155bab549f35199e43a6d35198c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 0421e1d9e7fe672cb0ddc4007aa564f9dff1312a