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 33J TD ]]]ZF:threads=2elapsed=22.429cpu=37.980gc=2.484factor=1.697zXZִF! {]ŗXf1-) enȈA XR„ <Ľ6l{x7<&w|j(mE:"lhNb{TǀZRHHn՘c,5giڒjh?Y|LǁeݧGѫ5 ASbwFm||\vOe fMrE? ;dkf"!T+B̠a GTJK?+7u`+pɡ[c(w$ ;`J/jgYZ7zXZִF! !]ŗXiɟ 1FE`穹fErbCNf G!r2J/J~:t 5hQytN,m4s=sUfe {6cܨQBLej+m=7$EԾ,L-pԅ?ҺcJ;hZ^Ÿ(0zyRK&{%y.R{$7,m1wPQk!6Nb}_#tc,E&,褬VA٫QyO%H4{̃9~A,Վw`)"wǢb{k?⁲~ ,e2˶himYsXbQ;}BdPIvL|%*ıIɼd ̯,@žR,P~>{ Dԝt~bhKHb|=#T=be(LB)_kh8{N hMV>%F!Sn B*G#w$ h^`J<ӣ>GrNz۶/k;|a  䘉@r b}pswD\-bIrV̵U잙JbCοe_,fyj|L+]T'ێrLߵ HRV:4u #|{1" f$)'nw..\ y9ZS55,7 \͜#B=ΜSCE+abxl&3?F/U|حzCIPsT$q.Uꠊ :ȩ9CT2>VMsH, t;!.L<ߐ!('DF'3Wt%'ØAjT7t֏Y3൭W&l^$ kt!N0Kuӟ%itYvrU 0c =:_18PPMPnQ MS洌fߎĴ~qdOXߍ2|!,2ޣ&{J+ Fy^eUB=<=ܞ #ļ$1- sXBM cZew|(yLOC%ʂC;ct6|ƇOM=gF9ټA=_OڑG`t֋%6[#[PJ\6]8 'FnTh .-5*]䫷 +^&)W.]2EjcڕfGbZ!!!Njga 7=pwk DBn٠ICTl*s!N'5攠^M>1^%Uۊt+Mt/*]$)pg֦}ĢoH#|zF{Q܍,fۜ5QrI{ g?2&ɣ>a+#VRHvyA>-TO'ck ѵy())p=Q+U^ v5wZ#Ed]V\N19>׳Trj+}c9exIfFhkk=|[-JVHQ_tՃ1(EH-KS}᳗Kxw l}UN,js6An٤MNtvFG ,,>%CRPVgV?2nY|L›<8¯xBBgYZe1395c8f2e9cf2f40c1f563d1d5891d5aff2746ce42b3e1f6b1378d353a536b3bfeb7e98c73ee3bcddc254d247935e692b26be3a557b1d1ce79887c6  ZF