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 `1 Llt ]/ RefinementReactive:threads=2elapsed=11.390cpu=16.468gc=0.388factor=1.457zXZִF! ]ŗXf1-/6vR[O!vpa'tAl0ׂs,G!`ztԓg..  , %1Kri3IOsO B~H'~8o= *\҃qk}nK^\I&b.U 997 An!֘wڏj)%`ㆣ&I`7(}©6 f<#; &F0gFD<.c6 —#&ۂVؕգ>9_yvPP+ RxqġL52jY='LJyX. a= _t8^ H:ptUΰ#w/>f{l"-c|:sU_ö2k-&. ESRL-\'a׼ݪpst&$8C\Vu ^ricrqVg-&1]#D܏9BޝHُ#Lg(p9^} sACcōZJ U"4~sN?p/h"Ƿ[]7hX`C1I)IT`K/aJU3Ec.;-oLazsi`pM'Uָ+`!lcEAE=aAhe?R<1h:)Cɲ?YQEF}Wִ-NMnsC;!d2q& &#ٕ-_UaLʴo\}yC>9>3GK~6IϬC. $ROu3UuyA7Co eQj\O+5sō0Fvf/2y"?] Ó.q 1i4L]Pc'h` 8>pPm/[-kaҺLhDa%jٴZ5f[6*t=n2G\3J(N<_jcPfeˍg!,f|W]N۳O}.gYZc24975018380513f54eaa23130719b2b7f22f871273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 1 RefinementReactive