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 \\!1 Dd Y/ Concurrent_Ref_Alg:threads=2elapsed=11.752cpu=20.344gc=0.340factor=1.737zXZִF! ]ŗXf1-/6vRZy-`;TS h|`f$ 1U׬DK彼r]{h&$zZx|N~V5'*6i )mQ~ɝfx ]7>ٗAVVrdfĠA;x-d IdktY"%أ^vTҋ/KPٗ_pQC;ٺ9foPp02^JoT`)iTs`16n6Jn׺pV.\8=PN܀KQҲO%vUJ'gYZ7zXZִF! A+]ŗXi%6yKڍXޠd9*1U W'Fs FxQlܿ<Q䘆H[pkM_DvTgUWLZZ$N/h>((_jVgrOfkx%2%ZPH @t}QCI w/*mꅅ׻ *8xTyRu@+J2gn/*LWcм:paT=,MON$ $&C ej)> u}vE~j:FhC1wL֝IqQQ R&F#Mٗdn ćyB`v3Au(쳭kROYryÃ\Yvl68kl"tD[*ܽ~bG0aO|c>f3!.ol'FꣀcrܟZn=OY pk,``WQAgƒt < KɣUbܢt Vx %$ `y6ºaS k-n3RYbm !Ym}v亐.viTPUG3G68yc( #̡