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 h1 w/ RefinementReactive:threads=2elapsed=10.933cpu=21.132gc=0.436factor=1.937zXZִF! M]ŗXf1-/6vR[O!vpa'tAl0ׂs,G!`ztԓgC@_1xvwguq#SssڕL6&u d;VrJPXHLʷ Y쩈}7&$SFKK?W[|4:>fpG Qvp/vr?ֵi߿T0agtO]Z'-W/+qMV$Sǰ @BO1_JW.n9qY[j `F䌔s?;Csm {5y;Dm`pc_#G:Y & ُs1;({E.?ª_nePp¡}CU`WNZS`9$"*~UgTt@G:~13/2[Y>}!IDmGpbRx~8/,ȪR$`' txJ 4XTPʘ@$)V dDAބf%]x h7G4)R2ć:S<ʟiՋP8K TpRPlA{aL ųXDr'lp0SJw:1_WT>h\ pp%[#h:wDL/p?ØB)`o/6-nb G `b́Rdk;gdbQll+7 vsz9EWi0)y `N@'iXri Ms, XWvK'kmmi F#1Gnc5Q(N] ތfLa\q̂mSZ{rRvXM9Zˈ !>$RЭB,lJ>l@Ս;Tm&zX<(sZֈ) ^yJ]:+SEC*['kȄ1F)%f$pؕeLSS{@CiəXLPoρpىlIkOTogY [!b}3~:ӛw>,lK # N"uUlY|Y4IC$]OYDng:} 8,˯: }Y/ݵ}؞YXDW#Яr 䣘gYZ7zXZִF! ?c]ŗXi%gt%ʱ8׿-dB)1Y25b:+ЕL&)A,Mջ5KQ RoFjX 0 ,/0Kn}0]oOc*:CBͣА&sJ9:r(%9\}?KYWãX1k(g4DNgڷJ h)\;P®‚NnE.T4Q#:3k^oG }s]hF6!7)|yN~4> zD_Dh~o`JXo^xgf. ɸ&N?H#]Tˍfs񔏓c%츀.-6?'%r?>_̢PnITi}kGJтG@g+ #`S]IZ~| Fz?f`Uv@D$]!|&VDbrj|q{z,C+&sKwG7ؐ׉1څ݊qUУx20Ϗ!/;ˡvzsY2-LD^57PŜxo;Q mpQke (V?F^:Tl7& I:w?(k􃟁r鬓!gwFo~.ϛl~ 9HgYZ347276447590516fee87c0f41108333baf771c2a 58f76d71ec2fefdb1733f95fd7bb36657f14af6f 5992cf726bac5c9b83ff1c417799f4b78da1750b 6989f07b16caa4f39918e88a6cfe5fb8798003c0 8b0988cde88c9984f3c8daed89d847192ded41a1 d7494d4b5dc1424c0e06f4fd206de3b84c5d84e0572ffb81f80d42dc81f45d244b15c5381a012b24 e2861874690d29a1b715dff597313b9f4e7e36eb 1 RefinementReactive