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 # T ! Shivers-CFA:threads=2elapsed=30.856cpu=59.936gc=2.780factor=1.947zXZִF! ]ŗXf1-/6vR[]u Eߑ>LU|BV/ID8n`ߙI/L 4u}($~/q*0jMje5r5#9JPDf̯$w/L:}``Ԍڱ٫vV)n~'lYOa]BZĩ ;jNBpŕemy޳w(O wəDV4*5.e)Wc&Tմ;%Vڽ\XO߃F-4,w 9%R[.Slh7_u g.q8$$?N" -.0|=@J}!8zY4I2HHC/ V['XIm.Kx )B:ݦ}$T"HGb~d<ں7$3O$uB'?+^YjҀ<:#@&dgţ5Sz$=qG~wnejF2YjX-b)l޵h$r|K `fEЪZN'X-'K[/Br0HHsCs+֛33ߜo<܁(hC}>7Pݟ “*-QU-Ҵ$GV/i/@=gYZ7zXZִF! ]ŗXi%6xk)r BwQ+*gl2$&wl9"aEǬzXN@8 4S;3h hi_G$*35m\ N0,@V/ B@HhxЁ@(P 7J\QykP+V4IO}z\BA>+ɥqN n|MN,z6WE^DVYGKzAN'@HRYV"l2*Ku OEjFT95y0p mi4IK=#TpMm㦅u4x'g2-GFwsCU~e,|SOYab N7~CvcxCG[eݼqĄhW"8''# ^ع>3,_I+PZJˌ}-{.ʂuE/F˷KBj5[80 +aq#tK$%P K/ Vѯ>xm& %-d}-polߥ '1^|Od[v^gydy[Ht~졍˝P_{0p?Z*UlEE5 f}{Z! !pjb/ [RDN ~FVveIIѬK 8G# vM}ضU5F?9Zm*kpbtX`9U%H #k ٝ ;+  G#"KhBMtgYZ06db41cd99a3feea3979dafd87e52d604ebe18e5 0e4f21cb9dab06da2eec0dac39dcbf8b7b648c02 1c4df5aff18b2556fa0a3f0cb15d6338fce3f6d5 210bd273e5e5c33f51f3d057f08522329d662ca2 36270720b232579f69ba6b87b64f61d55e603d2f 3997ad1247c599ff5ca5a09326a165d755ba9b8b 430cec80e0babed6f48f771cdfd56da08af74fef 5011eb2bbbf39d20db72ccd4149c5e349fb2d4a2 654534196c6693475ca0aba17654bc3d23d1343f 69b4d87e9cab0b856337e17afce32c08395ac7ff 6c6607ca20170066c10b856fd51d872958ffc1f3 6dde1a768ed51ee660f9d0c973065d218ae25be6 88424c39b97747ec7e684c036cdb82f15a469a7b 8d8c4d42a52b4e573a4a7dee9ad789b0d43b6272 c374aab54040bfc0f8a911750c670fc1123623b9 c391270aa9fb0f87bfee7786321d9160f0dd60a7 d81aa5cb392558e0b8c86c49c19b93cd6b737fb6 def6af8aaec3b55a7c501f2c82d3fa9a2204a46f f9e361b0d7f6ab3fdf32e148e315ac6de04b8a2f554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 ff1d323a4c29d5f13156bf3518961b4216aab2d8 # Shivers-CFA