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 uu \ ]/ Menger:threads=2elapsed=10.636cpu=19.164gc=0.544factor=1.807zXZִF! p]ŗXf1-/6vR[Ɛpze-&+9,ٟ8cv4LW2\ϡ:aC>ޞY_^˯?t$];JG'he틃FZ.93-G/NeacG[wp.1m~yȋ&"EPضEyC4t{,Y^9(kW$xuV:ʍt&]J#Qnz(3!%:PCd߉9;/# e*(oqT43ѝ6kޭ \3+n560YW~Zi`b/uwwqhHSuL dݎ1R0joYSϒ%ȝfR J # /beYwd( Zc 8# l/O߷["#16f ͮn$nVOfd+.IgYZ7zXZִF! 3]ŗXiɟ{A]R90⿈kٽk)?]- z`VNjclNҡ0o]j9;:|WL*4yݠDg~x*oG<dc 8Pî4W6.X|F ۙUK)cS:Ɨ5WPgYZ7zXZִF! F%]ŗXi%90øf)spWk\O֖a8 !ytdAҨyEieLE;^ TRCj?0ljJ7TvmGKhX+m\FzHOnLPpGh AA8 XU:lω*5\.W?Y"[RxBބ xMX)Gʺba2fl"rjW!Hjz8~EϞ| Mٗn+lZiL-"Qq>zP꽶M,&ĒZ4#*Dt  1uz<+:2S uF,d7?D4d\c:Pd=܊=4EL兤{^.P.}o'f F\Xq3oB/0kvX.e\܀oc{ iwPqrɣ3[xgYVW)Uki>I7<chy$.'oZE8\+ei6F4}4R۟!u+)D-9cg,!TK\l@z{)r啨ѤUhAYq<_*zܘY}sˍdѲMoِkR_G  xo!pdKҷ7=Q=e9 ['HߡNT ZCۼmH}cZ:{ML'L<~H?z\\VZAB=#d{2M+L2PHAj-'Y)@4~?/1nih_H$8EJݼɒ|XHѐGCɈuX܉%w[؋7n4,*k.ҺUtkCpdI0Tm%ߘ6 QTLB3QqEc5u3jf5<|"QJ!ޏ%;,ݖpDش94`]>4gYZ7cdb6b31e03a2876542f304915615e5190020ce3ee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198   Menger