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 6 llD ]/]Nominal2:threads=2elapsed=34.307cpu=66.976gc=3.952factor=1.957zXZִF! "p]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jj I燈 7Y6(t>iqyo|qkr+5ZTp&&6#N[_2 j7 Eg8Qߴ޷_0[y"U$I!EFĸVeFhw5)2yDb/3I:>+ CXQlZ),%+@ KL^|>07m .n1@ᰳ2f3>\` kM")7Fj@nCi2   Nominal2gfhߠ 24˴!,w|l@"P KO~\zKܛQ7M}>?l$oANj;VN< [TX%94 *׃͐*ӪTF\0QX-yJAdlc Đڦa刃?JEd"Y,j }Ƽr<:ބޤIU4M~c}\JتhPY u̸{@x:& cgYZ7zXZִF! ]ŗXi%;/]}tT =JZ% p G$69`=&,U6|h u%f# qJv((?dE&$şn' #ipч*9̃PyȲ%KCsE&3vQ{o EFpJy =nBsNM`~-QQXUe&̶7:Y)+Tp!IH'hY둦/ WKט,1eiPѓ!okqI=l#zD;8L+ֈWaBQEnߵknf!C8G9m}J/Nk2[@4w} mYGT6qcNvٶfIP6 *A?^,t>ijg;2YŨyp 5 VK~*hL4ҙ5y7?C /sI^u *W9_1 qv6}/XafV o EEF?vm ;M^{݇ Qݴ8|ڶ^*nLQhz kݓAJ5&HVHCd?4Q)IZ[}ؔB/ =(O4l!P&NG`/{mPqY2@dxHY02<ƞԜ,h),ա,QTsVdSr`_'2& I~K;OE;Hlpf"@FL4(R^Iܫ / 5ggrKT bwM=j)ALKPC x08xֻႦ@-t>>]q.=KLUח:mAI4L!=?P)hkmzQAPR4@؉0@߉\&;XQ5,@y1W&fOzFP׌ ^] @\^]$PIZT1y\pjɉ|ZD$hNlZfr_†F/b FA+K=swLz 2*'5?LnMS@|?uH>evq%И?>'mJ؊SloS=  κX Z'lR4{ t0*88zk080gv ƢO5n?K.ĕ9'"a,k]g9']vrlnla]u!F\X=ЅRqƒL^g9kŨƆcvcoUi2!6 ]==VwDTuBG5 yaXEmgNHR-xXYyC{]V|hm%L'U*S].8iչ- gyVպ"fɪO -!:1oB gٲu?m:Ak)t"x.C5ɫ(j[(+gK3TgwV +?f*$(vo3scBp檏%iԢ5~YMʠ2m-.gYZc16af91d71d358153afdaab698600f35cb24bdb519483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf0f0ac6cbbc1792852233cefbbd1b903ba73e2e64